Home
last modified time | relevance | path

Searched refs:VMCS_GUEST_CR4 (Results 1 – 3 of 3) sorted by relevance

/freebsd/sys/amd64/vmm/intel/
H A Dvmcs.c67 case VMCS_GUEST_CR4: in vmcs_fix_regval()
85 return (VMCS_GUEST_CR4); in vmcs_field_encoding()
H A Dvmcs.h257 #define VMCS_GUEST_CR4 0x00006804 macro
H A Dvmx.c1720 if (!limits->xsave_enabled || !(vmcs_read(VMCS_GUEST_CR4) & CR4_XSAVE)) { in vmx_emulate_xsetbv()
1932 vmcs_write(VMCS_GUEST_CR4, crval); in vmx_emulate_cr4_access()
2000 cr4 = vmcs_read(VMCS_GUEST_CR4); in vmx_paging_mode()