Symbol: vmm_get_host_cr0
sys/amd64/vmm/intel/vmcs.c
370
cr0 = vmm_get_host_cr0();
sys/amd64/vmm/vmm_host.h
48
uint64_t vmm_get_host_cr0(void);