Symbol: vmm_mem_maxaddr
sys/amd64/vmm/io/iommu.c
202
maxaddr = vmm_mem_maxaddr();
sys/amd64/vmm/vmm_mem.h
37
vm_paddr_t vmm_mem_maxaddr(void);