HelenOS sources

PAGE_NOT_CACHEABLE   78 kernel/arch/amd64/src/smp/smp.c 		    PAGE_SIZE, PAGE_WRITE | PAGE_NOT_CACHEABLE);
PAGE_NOT_CACHEABLE   80 kernel/arch/amd64/src/smp/smp.c 		    PAGE_SIZE, PAGE_WRITE | PAGE_NOT_CACHEABLE);
PAGE_NOT_CACHEABLE  104 kernel/arch/arm32/src/mach/beagleboardxm/beagleboardxm.c 	    KM_NATURAL_ALIGNMENT, PAGE_NOT_CACHEABLE);
PAGE_NOT_CACHEABLE   90 kernel/arch/arm32/src/mach/beaglebone/beaglebone.c 	    AM335x_IRC_SIZE, KM_NATURAL_ALIGNMENT, PAGE_NOT_CACHEABLE);
PAGE_NOT_CACHEABLE   93 kernel/arch/arm32/src/mach/beaglebone/beaglebone.c 	    AM335x_CM_PER_SIZE, KM_NATURAL_ALIGNMENT, PAGE_NOT_CACHEABLE);
PAGE_NOT_CACHEABLE   96 kernel/arch/arm32/src/mach/beaglebone/beaglebone.c 	    AM335x_CM_DPLL_SIZE, KM_NATURAL_ALIGNMENT, PAGE_NOT_CACHEABLE);
PAGE_NOT_CACHEABLE  100 kernel/arch/arm32/src/mach/beaglebone/beaglebone.c 	    PAGE_NOT_CACHEABLE);
PAGE_NOT_CACHEABLE  105 kernel/arch/arm32/src/mach/gta02/gta02.c 	    PAGE_SIZE, PAGE_NOT_CACHEABLE);
PAGE_NOT_CACHEABLE  107 kernel/arch/arm32/src/mach/gta02/gta02.c 	    PAGE_NOT_CACHEABLE);
PAGE_NOT_CACHEABLE  137 kernel/arch/arm32/src/mach/integratorcp/integratorcp.c 	    PAGE_WRITE | PAGE_NOT_CACHEABLE);
PAGE_NOT_CACHEABLE  139 kernel/arch/arm32/src/mach/integratorcp/integratorcp.c 	    PAGE_NOT_CACHEABLE);
PAGE_NOT_CACHEABLE  144 kernel/arch/arm32/src/mach/integratorcp/integratorcp.c 	    PAGE_WRITE | PAGE_NOT_CACHEABLE);
PAGE_NOT_CACHEABLE  153 kernel/arch/arm32/src/mach/integratorcp/integratorcp.c 	    PAGE_WRITE | PAGE_NOT_CACHEABLE);
PAGE_NOT_CACHEABLE  157 kernel/arch/arm32/src/mach/integratorcp/integratorcp.c 	    PAGE_WRITE | PAGE_NOT_CACHEABLE);
PAGE_NOT_CACHEABLE  160 kernel/arch/arm32/src/mach/integratorcp/integratorcp.c 	    PAGE_WRITE | PAGE_NOT_CACHEABLE);
PAGE_NOT_CACHEABLE  105 kernel/arch/arm32/src/mach/raspberrypi/raspberrypi.c 	    KM_NATURAL_ALIGNMENT, PAGE_NOT_CACHEABLE);
PAGE_NOT_CACHEABLE  111 kernel/arch/arm32/src/mach/raspberrypi/raspberrypi.c 	    sizeof(bcm2835_timer_t), KM_NATURAL_ALIGNMENT, PAGE_NOT_CACHEABLE);
PAGE_NOT_CACHEABLE   60 kernel/arch/arm64/src/mach/hikey960/hikey960.c 	    PAGE_NOT_CACHEABLE | PAGE_READ | PAGE_WRITE | PAGE_KERNEL);
PAGE_NOT_CACHEABLE   63 kernel/arch/arm64/src/mach/hikey960/hikey960.c 	    PAGE_NOT_CACHEABLE | PAGE_READ | PAGE_WRITE | PAGE_KERNEL);
PAGE_NOT_CACHEABLE   78 kernel/arch/arm64/src/mach/virt/virt.c 	    PAGE_NOT_CACHEABLE | PAGE_READ | PAGE_WRITE | PAGE_KERNEL);
PAGE_NOT_CACHEABLE   81 kernel/arch/arm64/src/mach/virt/virt.c 	    PAGE_NOT_CACHEABLE | PAGE_READ | PAGE_WRITE | PAGE_KERNEL);
PAGE_NOT_CACHEABLE   78 kernel/arch/ia32/src/smp/smp.c 		    PAGE_SIZE, PAGE_WRITE | PAGE_NOT_CACHEABLE);
PAGE_NOT_CACHEABLE   80 kernel/arch/ia32/src/smp/smp.c 		    PAGE_SIZE, PAGE_WRITE | PAGE_NOT_CACHEABLE);
PAGE_NOT_CACHEABLE  109 kernel/arch/ia64/src/ia64.c 	    PAGE_WRITE | PAGE_NOT_CACHEABLE);
PAGE_NOT_CACHEABLE  138 kernel/arch/ia64/src/ia64.c 		    KM_NATURAL_ALIGNMENT, PAGE_WRITE | PAGE_NOT_CACHEABLE);
PAGE_NOT_CACHEABLE   46 kernel/arch/ppc32/src/drivers/pic.c 	    PAGE_WRITE | PAGE_NOT_CACHEABLE);
PAGE_NOT_CACHEABLE  241 kernel/arch/ppc32/src/ppc32.c 		    PAGE_WRITE | PAGE_NOT_CACHEABLE);
PAGE_NOT_CACHEABLE  112 kernel/arch/sparc64/src/drivers/pci.c 	    KM_NATURAL_ALIGNMENT, PAGE_WRITE | PAGE_NOT_CACHEABLE);
PAGE_NOT_CACHEABLE  153 kernel/arch/sparc64/src/drivers/pci.c 	    KM_NATURAL_ALIGNMENT, PAGE_WRITE | PAGE_NOT_CACHEABLE);
PAGE_NOT_CACHEABLE  210 kernel/genarch/include/genarch/drivers/amdm37x/gpt.h 	    PAGE_NOT_CACHEABLE);
PAGE_NOT_CACHEABLE  217 kernel/genarch/include/genarch/drivers/amdm37x/gpt.h 	    PAGE_NOT_CACHEABLE);
PAGE_NOT_CACHEABLE  109 kernel/genarch/src/acpi/acpi.c 	    PAGE_READ | PAGE_NOT_CACHEABLE);
PAGE_NOT_CACHEABLE  114 kernel/genarch/src/acpi/acpi.c 	    PAGE_WRITE | PAGE_NOT_CACHEABLE);
PAGE_NOT_CACHEABLE  104 kernel/genarch/src/drivers/am335x/timer.c 	    PAGE_NOT_CACHEABLE);
PAGE_NOT_CACHEABLE   95 kernel/genarch/src/drivers/bcm2835/mbox.c 	    KM_NATURAL_ALIGNMENT, PAGE_NOT_CACHEABLE);
PAGE_NOT_CACHEABLE  137 kernel/genarch/src/drivers/bcm2835/mbox.c 	    KM_NATURAL_ALIGNMENT, PAGE_NOT_CACHEABLE);
PAGE_NOT_CACHEABLE  620 kernel/genarch/src/drivers/ega/ega.c 	    KM_NATURAL_ALIGNMENT, PAGE_WRITE | PAGE_NOT_CACHEABLE);
PAGE_NOT_CACHEABLE   91 kernel/genarch/src/drivers/omap/uart.c 	    PAGE_NOT_CACHEABLE);
PAGE_NOT_CACHEABLE  106 kernel/genarch/src/drivers/pl011/pl011.c 	    KM_NATURAL_ALIGNMENT, PAGE_WRITE | PAGE_NOT_CACHEABLE);
PAGE_NOT_CACHEABLE  119 kernel/genarch/src/drivers/s3c24xx/uart.c 	    PAGE_WRITE | PAGE_NOT_CACHEABLE);
PAGE_NOT_CACHEABLE  719 kernel/generic/src/console/cmd.c 		    PAGE_SIZE, PAGE_NOT_CACHEABLE);
PAGE_NOT_CACHEABLE  749 kernel/generic/src/console/cmd.c 		    PAGE_SIZE, PAGE_NOT_CACHEABLE);
PAGE_NOT_CACHEABLE  779 kernel/generic/src/console/cmd.c 		    PAGE_SIZE, PAGE_NOT_CACHEABLE);
PAGE_NOT_CACHEABLE  809 kernel/generic/src/console/cmd.c 		    PAGE_SIZE, PAGE_NOT_CACHEABLE);
PAGE_NOT_CACHEABLE  840 kernel/generic/src/console/cmd.c 		    PAGE_SIZE, PAGE_NOT_CACHEABLE);
PAGE_NOT_CACHEABLE  871 kernel/generic/src/console/cmd.c 		    PAGE_SIZE, PAGE_NOT_CACHEABLE);
PAGE_NOT_CACHEABLE  544 kernel/generic/src/ddi/ddi.c 	    PAGE_READ | PAGE_WRITE | PAGE_NOT_CACHEABLE);
PAGE_NOT_CACHEABLE   98 kernel/generic/src/ipc/irq.c 		    PAGE_READ | PAGE_WRITE | PAGE_KERNEL | PAGE_NOT_CACHEABLE);