Symbol: vmxon
sys/arch/amd64/amd64/vmm_machdep.c
805
if (vmxon((uint64_t *)&ci->ci_vmxon_region_pa))
sys/arch/amd64/include/vmmvar.h
1040
int vmxon(uint64_t *);