Searched refs:userStart (Results 1 - 1 of 1) sorted by relevance

/haiku/src/system/kernel/arch/riscv64/
H A Darch_cpu.cpp110 addr_t userStart = std::max<addr_t>(start, USER_BASE); local
121 if (userStart <= userEnd) {
122 int64 numPages = userStart / B_PAGE_SIZE - userEnd / B_PAGE_SIZE;

Completed in 71 milliseconds