Searched refs:VMCS_GUEST_CR4 (Results 1 – 3 of 3) sorted by relevance
72 case VMCS_GUEST_CR4: in vmcs_fix_regval()90 return (VMCS_GUEST_CR4); in vmcs_field_encoding()
259 #define VMCS_GUEST_CR4 0x00006804 macro
1667 if (!limits->xsave_enabled || !(vmcs_read(VMCS_GUEST_CR4) & CR4_XSAVE)) { in vmx_emulate_xsetbv()1879 vmcs_write(VMCS_GUEST_CR4, crval); in vmx_emulate_cr4_access()1946 cr4 = vmcs_read(VMCS_GUEST_CR4); in vmx_paging_mode()