|
@@ -469,6 +469,8 @@ static inline u32 safe_apic_wait_icr_idle(void)
|
|
|
return apic->safe_wait_icr_idle();
|
|
|
}
|
|
|
|
|
|
+extern void __init apic_set_eoi_write(void (*eoi_write)(u32 reg, u32 v));
|
|
|
+
|
|
|
#else /* CONFIG_X86_LOCAL_APIC */
|
|
|
|
|
|
static inline u32 apic_read(u32 reg) { return 0; }
|
|
@@ -478,6 +480,7 @@ static inline u64 apic_icr_read(void) { return 0; }
|
|
|
static inline void apic_icr_write(u32 low, u32 high) { }
|
|
|
static inline void apic_wait_icr_idle(void) { }
|
|
|
static inline u32 safe_apic_wait_icr_idle(void) { return 0; }
|
|
|
+static inline void apic_set_eoi_write(void (*eoi_write)(u32 reg, u32 v)) {}
|
|
|
|
|
|
#endif /* CONFIG_X86_LOCAL_APIC */
|
|
|
|