Changes in kernel/arch/mips32/src/mm/frame.c [bab75df6:f5dd4a1] in mainline

File:

• kernel/arch/mips32/src/mm/frame.c (modified) (3 diffs)

kernel/arch/mips32/src/mm/frame.c

@@ -41 +41 @@
 #include <config.h>
 #ifdef MACHINE_msim
-#include <arch/drivers/msim.h>
+#include <arch/mach/msim/msim.h>
 #endif
 #include <arch/arch.h>
@@ -57 +57 @@
 
 #define ZERO_PAGE_VALUE_KSEG1(frame) \
-        (((volatile uint32_t *) (0xa0000000 + (frame << ZERO_PAGE_WIDTH)))[ZERO_PAGE_OFFSET])
+        (((volatile uint32_t *) PA2KSEG1(frame << ZERO_PAGE_WIDTH))[ZERO_PAGE_OFFSET])
 
 #define MAX_REGIONS  32
@@ -80 +80 @@
 #ifdef MACHINE_msim
         /* MSIM device (dprinter) */
-        if (frame == (KA2PA(MSIM_VIDEORAM) >> ZERO_PAGE_WIDTH))
+        if (frame == (KSEG12PA(MSIM_VIDEORAM) >> ZERO_PAGE_WIDTH))
                 return false;
 
         /* MSIM device (dkeyboard) */
-        if (frame == (KA2PA(MSIM_KBD_ADDRESS) >> ZERO_PAGE_WIDTH))
+        if (frame == (KSEG12PA(MSIM_KBD_ADDRESS) >> ZERO_PAGE_WIDTH))
                 return false;
 #endif