HelenOS sources

KERNEL_ADDRESS_SPACE_END   52 kernel/generic/src/synch/smc.c 		    KERNEL_ADDRESS_SPACE_END - KERNEL_ADDRESS_SPACE_START))
KERNEL_ADDRESS_SPACE_END   72 kernel/generic/src/syscall/copy.c 		    KERNEL_ADDRESS_SPACE_END - KERNEL_ADDRESS_SPACE_START)) {
KERNEL_ADDRESS_SPACE_END  123 kernel/generic/src/syscall/copy.c 		    KERNEL_ADDRESS_SPACE_END - KERNEL_ADDRESS_SPACE_START)) {