Searched refs:vmxon_region_va (Results 1 – 1 of 1) sorted by relevance
43 void *vmxon_region_va = (void *)get_cpu_var(vmxon_region); in vmx_on() local48 (void)memcpy_s(vmxon_region_va, 4U, (void *)&tmp32, 4U); in vmx_on()68 vmxon_region_pa = hva2hpa(vmxon_region_va); in vmx_on()
Completed in 6 milliseconds