Changes in kernel/arch/ppc32/src/drivers/pic.c [adec5b45:ffe276f] in mainline

File:

• kernel/arch/ppc32/src/drivers/pic.c (modified) (2 diffs)

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

@@ -34 +34 @@
 
 #include <arch/drivers/pic.h>
-#include <mm/km.h>
+#include <mm/page.h>
 #include <byteorder.h>
 #include <bitops.h>
@@ -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 | PAGE_NOT_CACHEABLE);
+        pic = (uint32_t *) hw_map(base, size);
         *cir = pic_ack_interrupt;
         *cir_arg = NULL;