Searched refs:vmxon_region_paddr (Results 1 – 1 of 1) sorted by relevance
170 addr64_t vmxon_region_paddr; in vmx_on() local181 vmxon_region_paddr = vmx_paddr(cpu->vmxon_region); in vmx_on()190 result = __vmxon(vmxon_region_paddr); in vmx_on()