Searched refs:vmm_mem_maxaddr (Results 1 - 3 of 3) sorted by relevance

/freebsd-11-stable/sys/amd64/vmm/
H A Dvmm_mem.h39 vm_paddr_t vmm_mem_maxaddr(void);
H A Dvmm_mem.c118 vmm_mem_maxaddr(void) function
/freebsd-11-stable/sys/amd64/vmm/io/
H A Diommu.c199 maxaddr = vmm_mem_maxaddr();

Completed in 159 milliseconds