Searched refs:VMCS_GUEST_CR4 (Results 1 – 3 of 3) sorted by relevance
64 return (VMCS_GUEST_CR4); in vmcs_field_encoding()
210 #define VMCS_GUEST_CR4 0x00006804 macro
1509 !(vmcs_read(VMCS_GUEST_CR4) & CR4_XSAVE)) { in vmx_emulate_xsetbv()1742 vmcs_write(VMCS_GUEST_CR4, crval); in vmx_emulate_cr4_access()1808 if (!(vmcs_read(VMCS_GUEST_CR4) & CR4_PAE)) in vmx_paging_mode()3121 case VMCS_GUEST_CR4: in vmx_getreg()3194 case VMCS_GUEST_CR4: in vmx_setreg()