Searched refs:VMX_II_REG1 (Results 1 – 2 of 2) sorted by relevance
74 #define VMX_II_REG1(v) (((v) >> 3U) & 0xfU) macro
906 vcpu_set_gpreg(vcpu, VMX_II_REG1(info), vmcs_value); in vmread_vmexit_handler()944 vmcs_value = vcpu_get_gpreg(vcpu, VMX_II_REG1(info)); in vmwrite_vmexit_handler()
Completed in 12 milliseconds