Searched refs:vmxon_region (Results 1 – 2 of 2) sorted by relevance
178 if (NULL == cpu->vmxon_region) { in vmx_on()181 vmxon_region_paddr = vmx_paddr(cpu->vmxon_region); in vmx_on()243 cpu->vmxon_region = vmx_pcalloc(); in vmx_allocate_vmxon_regions()244 if (NULL == cpu->vmxon_region) { in vmx_allocate_vmxon_regions()247 *(uint32_t*)(cpu->vmxon_region) = cpu->specs.vmcs_id; in vmx_allocate_vmxon_regions()263 vmx_pfree(cpu->vmxon_region); in vmx_free_vmxon_regions()264 cpu->vmxon_region = NULL; in vmx_free_vmxon_regions()
60 void *vmxon_region; /* the logical address of the VMXON region page */ member