Symbol: pmap_bootstrap_dmap
sys/arch/riscv64/riscv64/pmap.c
1261
pmap_bootstrap_dmap(l1pt, memstart, memend);
sys/arch/riscv64/riscv64/pmap.c
1356
pmap_bootstrap_dmap((vaddr_t)pmap_kernel()->pm_vp.l1, memstart, memend);