Searched refs:vmm_mem_maxaddr (Results 1 – 3 of 3) sorted by relevance
41 vm_paddr_t vmm_mem_maxaddr(void);
120 vmm_mem_maxaddr(void) in vmm_mem_maxaddr() function
202 maxaddr = vmm_mem_maxaddr(); in iommu_init()