Searched refs:kernel_base (Results 1 – 1 of 1) sorted by relevance
717 const vaddr_t kernel_base = in arm32_kernel_vm_init() local721 kernel_base, KERNEL_L2PT_KERNEL_NUM); in arm32_kernel_vm_init()724 const vaddr_t va = kernel_base + idx * L2_S_SEGSIZE; in arm32_kernel_vm_init()