Symbol: vmxoff
sys/arch/amd64/amd64/vmm_machdep.c
845
if (vmxoff())
sys/arch/amd64/include/vmmvar.h
1041
int vmxoff(void);