Symbol: cpu_kernel_vm_init
sys/arch/aarch64/include/machdep.h
78
void cpu_kernel_vm_init(paddr_t, psize_t);
sys/arch/arm/include/arm32/machdep.h
95
void cpu_kernel_vm_init(paddr_t, psize_t);
sys/arch/evbarm/fdt/fdt_machdep.c
383
cpu_kernel_vm_init(memory_start, memory_size);
sys/arch/riscv/riscv/riscv_machdep.c
793
cpu_kernel_vm_init(memory_start, memory_end);