cpu_vmxoff         57 arch/x86/include/asm/virtext.h 		cpu_vmxoff();
cpu_vmxoff        561 arch/x86/kernel/reboot.c 		cpu_vmxoff();