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

/freebsd-10.2-release/sys/amd64/vmm/
H A Dvmm_mem.h41 vm_paddr_t vmm_mem_maxaddr(void);
H A Dvmm_mem.c150 vmm_mem_maxaddr(void) function
/freebsd-10.2-release/sys/amd64/vmm/io/
H A Diommu.c175 maxaddr = vmm_mem_maxaddr();

Completed in 57 milliseconds