Symbol: vmx_vmxon
src/add-ons/kernel/drivers/nvmm/x86/nvmm_x86_vmx.c
58
vmx_vmxon(paddr_t *pa)
src/libs/nvmm/driver/x86/nvmm_x86_vmx.c
58
vmx_vmxon(paddr_t *pa)