Searched refs:vmxon_pa (Results 1 – 1 of 1) sorted by relevance
275 uintptr_t vmxon_pa = hma_vmx_vmxon_pa[id]; in hma_vmx_cpu_vmxon() local277 VERIFY(vmxon_region != NULL && vmxon_pa != 0); in hma_vmx_cpu_vmxon()292 if (hma_vmx_vmxon(vmxon_pa) == 0) { in hma_vmx_cpu_vmxon()