HelenOS sources
KERNEL_ADDRESS_SPACE_START 91 kernel/genarch/src/mm/as_pt.c &src_ptl0[PTL0_INDEX(KERNEL_ADDRESS_SPACE_START)];
KERNEL_ADDRESS_SPACE_START 93 kernel/genarch/src/mm/as_pt.c &dst_ptl0[PTL0_INDEX(KERNEL_ADDRESS_SPACE_START)];
KERNEL_ADDRESS_SPACE_START 51 kernel/generic/src/synch/smc.c if (overlaps(va, size, KERNEL_ADDRESS_SPACE_START,
KERNEL_ADDRESS_SPACE_START 52 kernel/generic/src/synch/smc.c KERNEL_ADDRESS_SPACE_END - KERNEL_ADDRESS_SPACE_START))
KERNEL_ADDRESS_SPACE_START 71 kernel/generic/src/syscall/copy.c KERNEL_ADDRESS_SPACE_START,
KERNEL_ADDRESS_SPACE_START 72 kernel/generic/src/syscall/copy.c KERNEL_ADDRESS_SPACE_END - KERNEL_ADDRESS_SPACE_START)) {
KERNEL_ADDRESS_SPACE_START 122 kernel/generic/src/syscall/copy.c KERNEL_ADDRESS_SPACE_START,
KERNEL_ADDRESS_SPACE_START 123 kernel/generic/src/syscall/copy.c KERNEL_ADDRESS_SPACE_END - KERNEL_ADDRESS_SPACE_START)) {
HelenOS homepage, sources at GitHub