32/kernel/vspace.c

223     /* mapping of kernelBase (virtual address) to kernel's physBase  */
226     idx = kernelBase >> pageBitsForSize(ARMSection);
349     /* Invalidate up until kernelBase */
350     for (idx = 0; idx < (kernelBase - 0xC0000000) >> (PT_INDEX_BITS + PAGE_BITS); idx++) {
354     /* mapping of kernelBase (virtual address) to kernel's physBase  */
630     lockTLBEntry(kernelBase);
649     lockTLBEntry(kernelBase);
1304     for (i = kernelBase >> ARMSectionBits; i < BIT(PD_INDEX_BITS); i++) {
2229         if (start >= kernelBase || end > kernelBase) {
2370     if (unlikely(vaddr >= kernelBase)) {
2371         userError("ARMPageTableMap: Virtual address cannot be in kernel window. vaddr: 0x%08lx, kernelBase: 0x%08x", vaddr, kernelBase);
2509         if (unlikely(vtop >= kernelBase)) {
2510             userError("ARMPageMap: Cannot map frame over kernel window. vaddr: 0x%08lx, kernelBase: 0x%08x", vaddr, kernelBase);