Symbol: vmm_get_host_cr4
sys/amd64/vmm/intel/vmcs.c
374
cr4 = vmm_get_host_cr4() | CR4_VMXE;
sys/amd64/vmm/vmm_host.h
49
uint64_t vmm_get_host_cr4(void);