Searched refs:vmx_basic (Results 1 – 1 of 1) sorted by relevance
19 static uint32_t vmx_basic; variable1181 (void)memcpy_s(vvmcs->vmcs02, 4U, (void *)&vmx_basic, 4U); in vmptrld_vmexit_handler()1625 vmx_basic = (uint32_t)msr_read(MSR_IA32_VMX_BASIC); in init_nested_vmx()
Completed in 4 milliseconds