Home
last modified time | relevance | path

Searched refs:VMX_II_REG2 (Results 1 – 2 of 2) sorted by relevance

/hypervisor/include/arch/x86/asm/guest/
A Dnested.h82 #define VMX_II_REG2(v) (((v) >> 28U) & 0xfU) macro
/hypervisor/arch/x86/guest/
A Dnested.c901 vmcs_field = (uint32_t)vcpu_get_gpreg(vcpu, VMX_II_REG2(info)); in vmread_vmexit_handler()
936 vmcs_field = (uint32_t)vcpu_get_gpreg(vcpu, VMX_II_REG2(info)); in vmwrite_vmexit_handler()
1557 return vcpu_get_gpreg(vcpu, VMX_II_REG2(info)); in get_invvpid_ept_operands()

Completed in 7 milliseconds