Changeset 214ec25c in mainline for kernel/arch/arm32/src/mm/page_fault.c

Timestamp:

2010-06-11T16:07:21Z (15 years ago)

Author:

Martin Decky <martin@…>

Branches:

lfn, master, serial, ticket/834-toolchain-update, topic/msim-upgrade, topic/simplify-dev-export

Children:

b584cd4

Parents:

b3b7e14a

Message:

use unsigned integers for exception and interrupt numbers

File:

• kernel/arch/arm32/src/mm/page_fault.c (modified) (2 diffs)

kernel/arch/arm32/src/mm/page_fault.c

@@ -167 +167 @@
 /** Handles "data abort" exception (load or store at invalid address).
  *
- * @param exc_no        Exception number.
- * @param istate        CPU state when exception occured.
- */
-void data_abort(int exc_no, istate_t *istate)
+ * @param exc_no Exception number.
+ * @param istate CPU state when exception occured.
+ *
+ */
+void data_abort(unsigned int exc_no, istate_t *istate)
 {
         fault_status_t fsr __attribute__ ((unused)) =
@@ -193 +194 @@
 /** Handles "prefetch abort" exception (instruction couldn't be executed).
  *
- * @param exc_no        Exception number.
- * @param istate        CPU state when exception occured.
- */
-void prefetch_abort(int exc_no, istate_t *istate)
+ * @param exc_no Exception number.
+ * @param istate CPU state when exception occured.
+ *
+ */
+void prefetch_abort(unsigned int exc_no, istate_t *istate)
 {
         int ret = as_page_fault(istate->pc, PF_ACCESS_EXEC, istate);