Symbol: VMCS_GUEST_CR4
sys/dev/nvmm/x86/nvmm_x86_vmx.c
1332
cr4 = vmx_vmread(VMCS_GUEST_CR4);
sys/dev/nvmm/x86/nvmm_x86_vmx.c
1738
oldcr4 = vmx_vmread(VMCS_GUEST_CR4);
sys/dev/nvmm/x86/nvmm_x86_vmx.c
1743
vmx_vmwrite(VMCS_GUEST_CR4, cr4);
sys/dev/nvmm/x86/nvmm_x86_vmx.c
2731
cr4 = vmx_vmread(VMCS_GUEST_CR4);
sys/dev/nvmm/x86/nvmm_x86_vmx.c
2807
vmx_vmwrite(VMCS_GUEST_CR4,
sys/dev/nvmm/x86/nvmm_x86_vmx.c
2950
state->crs[NVMM_X64_CR_CR4] = vmx_vmread(VMCS_GUEST_CR4);