Symbol: x86_get_cr4
sys/dev/virtual/nvmm/x86/nvmm_x86_vmx.c
2149
vmx_vmwrite(VMCS_HOST_CR4, x86_get_cr4());
sys/dev/virtual/nvmm/x86/nvmm_x86_vmx.c
3395
ret = vmx_check_cr(x86_get_cr4() | CR4_VMXE, vmx_cr4_fixed0,
sys/dev/virtual/nvmm/x86/nvmm_x86_vmx.c
3523
cr4 = x86_get_cr4();