HelenOS sources

PAGE_KERNEL        60 kernel/arch/arm64/src/mach/hikey960/hikey960.c 	    PAGE_NOT_CACHEABLE | PAGE_READ | PAGE_WRITE | PAGE_KERNEL);
PAGE_KERNEL        63 kernel/arch/arm64/src/mach/hikey960/hikey960.c 	    PAGE_NOT_CACHEABLE | PAGE_READ | PAGE_WRITE | PAGE_KERNEL);
PAGE_KERNEL        78 kernel/arch/arm64/src/mach/virt/virt.c 	    PAGE_NOT_CACHEABLE | PAGE_READ | PAGE_WRITE | PAGE_KERNEL);
PAGE_KERNEL        81 kernel/arch/arm64/src/mach/virt/virt.c 	    PAGE_NOT_CACHEABLE | PAGE_READ | PAGE_WRITE | PAGE_KERNEL);
PAGE_KERNEL        98 kernel/generic/src/ipc/irq.c 		    PAGE_READ | PAGE_WRITE | PAGE_KERNEL | PAGE_NOT_CACHEABLE);