Searched refs:kernelEnd (Results 1 – 1 of 1) sorted by relevance
108 addr_t kernelEnd = std::min<addr_t>(end, KERNEL_TOP); 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()