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

/freebsd-13-stable/sys/amd64/vmm/
H A Dvmm_mem.h41 vm_paddr_t vmm_mem_maxaddr(void);
H A Dvmm_mem.c120 vmm_mem_maxaddr(void) function
/freebsd-13-stable/sys/amd64/vmm/io/
H A Diommu.c202 maxaddr = vmm_mem_maxaddr();

Completed in 48 milliseconds