Symbol: pmap_map_stolen
sys/arch/arm64/arm64/pmap.c
121
vaddr_t pmap_map_stolen(vaddr_t);
sys/arch/arm64/arm64/pmap.c
1400
vstart = pmap_map_stolen(kernelstart);
sys/arch/riscv64/riscv64/pmap.c
1346
vstart = pmap_map_stolen(kernelstart);
sys/arch/riscv64/riscv64/pmap.c
212
vaddr_t pmap_map_stolen(vaddr_t);