Changeset 94d211e in mainline for kernel/arch/ppc32/src/drivers/pic.c

Timestamp:

2018-03-21T19:32:48Z (7 years ago)

Author:

Jiří Zárevúcky <zarevucky.jiri@…>

Children:

1c7a170

Parents:

973be387

Message:

Change the way page flags work. TODO description

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 | PAGE_NOT_CACHEABLE);
+        pic = (uint32_t *) km_map(base, size,
+            PAGE_READ_WRITE | PAGE_KERNEL | PAGE_NOT_CACHEABLE);
         *cir = pic_ack_interrupt;
         *cir_arg = NULL;