Changes in kernel/arch/ppc32/src/drivers/pic.c [4b1c7c6f:a35b458] in mainline

File:

• kernel/arch/ppc32/src/drivers/pic.c (modified) (1 diff)

kernel/arch/ppc32/src/drivers/pic.c

@@ -42 +42 @@
 void pic_init(uintptr_t base, size_t size, cir_t *cir, void **cir_arg)
 {
-        pic = (uint32_t *) km_map(base, size, PAGE_WRITE);
+        pic = (uint32_t *) km_map(base, size, PAGE_WRITE | PAGE_NOT_CACHEABLE);
         *cir = pic_ack_interrupt;
         *cir_arg = NULL;