HelenOS sources

KERNEL_ADDRESS_SPACE_SHADOWED  453 kernel/generic/src/mm/as.c 	if (!KERNEL_ADDRESS_SPACE_SHADOWED) {
KERNEL_ADDRESS_SPACE_SHADOWED   50 kernel/generic/src/synch/smc.c 	if (!KERNEL_ADDRESS_SPACE_SHADOWED) {
KERNEL_ADDRESS_SPACE_SHADOWED   69 kernel/generic/src/syscall/copy.c 	if (!KERNEL_ADDRESS_SPACE_SHADOWED) {
KERNEL_ADDRESS_SPACE_SHADOWED  120 kernel/generic/src/syscall/copy.c 	if (!KERNEL_ADDRESS_SPACE_SHADOWED) {