Symbol: pmap_devmap_root
sys/arch/arm/arm32/pmap.c
7184
const vaddr_t root = pmap_devmap_root();
sys/uvm/pmap/pmap_devmap.h
50
vaddr_t pmap_devmap_root(void);