Symbol: vmm_sysmem_maxaddr
usr/src/uts/intel/io/vmm/sys/vmm_kernel.h
181
vm_paddr_t vmm_sysmem_maxaddr(struct vm *vm);
usr/src/uts/intel/io/vmm/vmm.c
1189
maxaddr = vmm_sysmem_maxaddr(vm);