Searched refs:userStart (Results 1 – 1 of 1) sorted by relevance
110 addr_t userStart = std::max<addr_t>(start, USER_BASE); 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()