__xapic_wait_icr_idle  127 arch/x86/kernel/apic/ipi.c 		__xapic_wait_icr_idle();
__xapic_wait_icr_idle  155 arch/x86/kernel/apic/ipi.c 		__xapic_wait_icr_idle();