Symbol: pmap_map_stolen
sys/arch/arm64/arm64/pmap.c
2258
pmap_map_stolen(vaddr_t kernel_start)
sys/arch/riscv64/riscv64/pmap.c
2078
pmap_map_stolen(vaddr_t kernel_start)