Searched refs:kernelvmstart (Results 1 – 2 of 2) sorted by relevance
255 vaddr_t kernelvmstart; in initarm_common() local266 kernelvmstart = kernend_l2; in initarm_common()277 module_start = kernelvmstart; in initarm_common()282 kernelvmstart = module_end; in initarm_common()285 KASSERT(kernelvmstart < VM_KERNEL_VM_BASE); in initarm_common()287 kernelvmstart = VM_KERNEL_VM_BASE; in initarm_common()434 pmap_bootstrap(kernelvmstart, VM_MAX_KERNEL_ADDRESS); in initarm_common()
809 vaddr_t kernelvmstart; in init_riscv() 814 kernelvmstart = kernend_mega; in init_riscv() 820 module_start = kernelvmstart; in init_riscv() 825 kernelvmstart = module_end; in init_riscv() 828 KASSERT(kernelvmstart < VM_KERNEL_VM_BASE); in init_riscv() 830 kernelvmstart = VM_KERNEL_VM_BASE; in init_riscv() 890 pmap_bootstrap(kernelvmstart, VM_MAX_KERNEL_ADDRESS); in init_riscv() 801 vaddr_t kernelvmstart; init_riscv() local