#ifdef CONFIG_SMP
bool apic_id_is_primary_thread(unsigned int id);
+bool apic_id_disabled(unsigned int id);
#else
static inline bool apic_id_is_primary_thread(unsigned int id) { return false; }
+static inline bool apic_id_disabled(unsigned int id) { return false; }
#endif
extern void irq_enter(void);