Changes in kernel/arch/arm32/src/ras.c [b3b7e14a:82a04c6] in mainline

File:

• kernel/arch/arm32/src/ras.c (modified) (3 diffs)

kernel/arch/arm32/src/ras.c

@@ -1 +1 @@
 /*
- * Copyright (c) 2009 Jakub Jermar
+ * Copyright (c) 2009 Jakub Jermar 
  * All rights reserved.
  *
@@ -44 +44 @@
 #include <arch.h>
 #include <memstr.h>
-#include <typedefs.h>
+#include <arch/types.h>
 
 uintptr_t *ras_page = NULL;
@@ -66 +66 @@
 }
 
-void ras_check(unsigned int n, istate_t *istate)
+void ras_check(int n, istate_t *istate)
 {
         uintptr_t rewrite_pc = istate->pc;