arch_haltpoll_disable    6 arch/x86/include/asm/cpuidle_haltpoll.h void arch_haltpoll_disable(unsigned int cpu);
arch_haltpoll_disable  893 arch/x86/kernel/kvm.c EXPORT_SYMBOL_GPL(arch_haltpoll_disable);
arch_haltpoll_disable   76 drivers/cpuidle/cpuidle-haltpoll.c 		arch_haltpoll_disable(cpu);