Symbol: vmm_get_host_pat
sys/amd64/vmm/intel/vmcs.c
359
pat = vmm_get_host_pat();
sys/amd64/vmm/vmm_host.h
46
uint64_t vmm_get_host_pat(void);