Searched refs:vmm_mem_maxaddr (Results 1 – 1 of 1) sorted by relevance
86 vmm_mem_maxaddr(void) in vmm_mem_maxaddr() function127 const vm_paddr_t maxaddr = vmm_mem_maxaddr(); in iommu_init()