Searched refs:VMCS_GUEST_DR7 (Results 1 – 3 of 3) sorted by relevance
66 return (VMCS_GUEST_DR7); in vmcs_field_encoding()
221 #define VMCS_GUEST_DR7 0x0000681A macro
861 vmcs_write(VMCS_GUEST_DR7, DBREG_DR7_RESERVED1); in vmx_vminit()