Searched refs:kernelStart (Results 1 – 1 of 1) sorted by relevance
107 addr_t kernelStart = std::max<addr_t>(start, KERNEL_BASE); in arch_cpu_invalidate_TLB_range() local113 if (kernelStart <= kernelEnd) { in arch_cpu_invalidate_TLB_range()114 int64 numPages = kernelStart / B_PAGE_SIZE - kernelEnd / B_PAGE_SIZE; in arch_cpu_invalidate_TLB_range()