Searched refs:kernelStart (Results 1 - 1 of 1) sorted by last modified time

/haiku/src/system/kernel/arch/riscv64/
H A Darch_cpu.cpp107 addr_t kernelStart = std::max<addr_t>(start, KERNEL_BASE); local
113 if (kernelStart <= kernelEnd) {
114 int64 numPages = kernelStart / B_PAGE_SIZE - kernelEnd / B_PAGE_SIZE;

Completed in 46 milliseconds