Symbol: VMCS_GUEST_CR4
sys/amd64/vmm/intel/vmcs.c
67
case VMCS_GUEST_CR4:
sys/amd64/vmm/intel/vmcs.c
85
return (VMCS_GUEST_CR4);
sys/amd64/vmm/intel/vmx.c
1720
if (!limits->xsave_enabled || !(vmcs_read(VMCS_GUEST_CR4) & CR4_XSAVE)) {
sys/amd64/vmm/intel/vmx.c
1932
vmcs_write(VMCS_GUEST_CR4, crval);
sys/amd64/vmm/intel/vmx.c
2000
cr4 = vmcs_read(VMCS_GUEST_CR4);