Changes in kernel/test/mm/purge1.c [98000fb:d99c1d2] in mainline

File:

• kernel/test/mm/purge1.c (modified) (2 diffs)

kernel/test/mm/purge1.c

@@ -34 +34 @@
 #include <arch/mm/page.h>
 #include <arch/mm/tlb.h>
-#include <arch/types.h>
+#include <typedefs.h>
 #include <debug.h>
 
@@ -40 +40 @@
 extern void tlb_invalidate_pages(asid_t asid, uintptr_t va, size_t cnt);
 
-char *test_purge1(void)
+const char *test_purge1(void)
 {
         tlb_entry_t entryi;