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