Symbol: vmm_get_host_pat
usr/src/uts/intel/io/vmm/intel/vmx.c
790
vmcs_write(VMCS_HOST_IA32_PAT, vmm_get_host_pat());
usr/src/uts/intel/io/vmm/vmm_host.h
64
uint64_t vmm_get_host_pat(void);