Searched refs:vmxon_region (Results 1 – 1 of 1) sorted by relevance
274 void *vmxon_region = hma_vmx_vmxon_page[id]; in hma_vmx_cpu_vmxon() local277 VERIFY(vmxon_region != NULL && vmxon_pa != 0); in hma_vmx_cpu_vmxon()