Searched refs:userEnd (Results 1 – 1 of 1) sorted by relevance
111 addr_t userEnd = std::min<addr_t>(end, USER_TOP); in arch_cpu_invalidate_TLB_range() local121 if (userStart <= userEnd) { in arch_cpu_invalidate_TLB_range()122 int64 numPages = userStart / B_PAGE_SIZE - userEnd / B_PAGE_SIZE; in arch_cpu_invalidate_TLB_range()