__xapic_wait_icr_idle 73 include/asm-x86/ipi.h __xapic_wait_icr_idle(); __xapic_wait_icr_idle 101 include/asm-x86/ipi.h __xapic_wait_icr_idle();