HomeSort by: relevance | last modified time | path
    Searched defs:kernel_base (Results 1 - 2 of 2) sorted by relevancy

  /src/sys/arch/arm/arm32/
arm32_kvminit.c 237 kern_vtopdiff = KERNEL_BASE + memstart;
484 KASSERT(kernel_vm_base - KERNEL_BASE >= physical_end - physical_start);
652 kasan_kernelstart = KERNEL_BASE;
653 kasan_kernelsize = (msgbuf.pv_va + round_page(MSGBUFSIZE)) - KERNEL_BASE;
717 const vaddr_t kernel_base = local in function:arm32_kernel_vm_init
720 VPRINTF("%s: kernel_base %lx KERNEL_L2PT_KERNEL_NUM %zu\n", __func__,
721 kernel_base, KERNEL_L2PT_KERNEL_NUM);
724 const vaddr_t va = kernel_base + idx * L2_S_SEGSIZE;
825 KASSERTMSG(cur_pv.pv_va >= KERNEL_BASE, "%#lx", cur_pv.pv_va);
828 cur_pv.pv_va = KERNEL_BASE;
    [all...]
arm32_kvminit.c 237 kern_vtopdiff = KERNEL_BASE + memstart;
484 KASSERT(kernel_vm_base - KERNEL_BASE >= physical_end - physical_start);
652 kasan_kernelstart = KERNEL_BASE;
653 kasan_kernelsize = (msgbuf.pv_va + round_page(MSGBUFSIZE)) - KERNEL_BASE;
717 const vaddr_t kernel_base = local in function:arm32_kernel_vm_init
720 VPRINTF("%s: kernel_base %lx KERNEL_L2PT_KERNEL_NUM %zu\n", __func__,
721 kernel_base, KERNEL_L2PT_KERNEL_NUM);
724 const vaddr_t va = kernel_base + idx * L2_S_SEGSIZE;
825 KASSERTMSG(cur_pv.pv_va >= KERNEL_BASE, "%#lx", cur_pv.pv_va);
828 cur_pv.pv_va = KERNEL_BASE;
    [all...]

Completed in 21 milliseconds