apic_icr_write    418 arch/x86/include/asm/apic.h static inline void apic_icr_write(u32 low, u32 high)
apic_icr_write    441 arch/x86/include/asm/apic.h static inline void apic_icr_write(u32 low, u32 high) { }