|
@@ -379,6 +379,7 @@ static inline u32 safe_apic_wait_icr_idle(void)
|
|
|
|
|
|
static inline void ack_APIC_irq(void)
|
|
|
{
|
|
|
+#ifdef CONFIG_X86_LOCAL_APIC
|
|
|
/*
|
|
|
* ack_APIC_irq() actually gets compiled as a single instruction
|
|
|
* ... yummie.
|
|
@@ -386,6 +387,7 @@ static inline void ack_APIC_irq(void)
|
|
|
|
|
|
/* Docs say use 0 for future compatibility */
|
|
|
apic_write(APIC_EOI, 0);
|
|
|
+#endif
|
|
|
}
|
|
|
|
|
|
static inline unsigned default_get_apic_id(unsigned long x)
|