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

  /src/sys/arch/arm/arm32/
arm32_kvminit.c 234 kern_vtopdiff = KERNEL_BASE + memstart;
481 KASSERT(kernel_vm_base - KERNEL_BASE >= physical_end - physical_start);
649 kasan_kernelstart = KERNEL_BASE;
650 kasan_kernelsize = (msgbuf.pv_va + round_page(MSGBUFSIZE)) - KERNEL_BASE;
714 const vaddr_t kernel_base = local
717 VPRINTF("%s: kernel_base %lx KERNEL_L2PT_KERNEL_NUM %zu\n", __func__,
718 kernel_base, KERNEL_L2PT_KERNEL_NUM);
721 const vaddr_t va = kernel_base + idx * L2_S_SEGSIZE;
822 KASSERTMSG(cur_pv.pv_va >= KERNEL_BASE, "%#lx", cur_pv.pv_va);
825 cur_pv.pv_va = KERNEL_BASE;
    [all...]

Completed in 14 milliseconds