HelenOS sources

KERNEL_PAGE_WIDTH   57 kernel/arch/ia64/src/proc/scheduler.c 	base = ALIGN_DOWN(config.base, 1 << KERNEL_PAGE_WIDTH);
KERNEL_PAGE_WIDTH   60 kernel/arch/ia64/src/proc/scheduler.c 	    (uintptr_t) THREAD->kstack > base + (1 << (KERNEL_PAGE_WIDTH))) {
KERNEL_PAGE_WIDTH  131 kernel/arch/sparc64/src/mm/sun4u/as.c 	uintptr_t base = ALIGN_DOWN(config.base, 1 << KERNEL_PAGE_WIDTH);
KERNEL_PAGE_WIDTH  138 kernel/arch/sparc64/src/mm/sun4u/as.c 	if (!overlaps(tsb, TSB_SIZE, base, 1 << KERNEL_PAGE_WIDTH)) {
KERNEL_PAGE_WIDTH  203 kernel/arch/sparc64/src/mm/sun4u/as.c 	uintptr_t base = ALIGN_DOWN(config.base, 1 << KERNEL_PAGE_WIDTH);
KERNEL_PAGE_WIDTH  210 kernel/arch/sparc64/src/mm/sun4u/as.c 	if (!overlaps(tsb, TSB_SIZE, base, 1 << KERNEL_PAGE_WIDTH)) {
KERNEL_PAGE_WIDTH  122 kernel/arch/sparc64/src/mm/sun4v/as.c 	uintptr_t base = ALIGN_DOWN(config.base, 1 << KERNEL_PAGE_WIDTH);
KERNEL_PAGE_WIDTH  127 kernel/arch/sparc64/src/mm/sun4v/as.c 	if (!overlaps(tsb, TSB_SIZE, base, 1 << KERNEL_PAGE_WIDTH)) {
KERNEL_PAGE_WIDTH  161 kernel/arch/sparc64/src/mm/sun4v/as.c 	uintptr_t base = ALIGN_DOWN(config.base, 1 << KERNEL_PAGE_WIDTH);
KERNEL_PAGE_WIDTH  167 kernel/arch/sparc64/src/mm/sun4v/as.c 	if (!overlaps(tsb, TSB_SIZE, base, 1 << KERNEL_PAGE_WIDTH)) {