Changeset 214ec25c in mainline for kernel/arch/arm32/include/mm/page_fault.h

Timestamp:

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

Author:

Martin Decky <martin@…>

Branches:

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

Children:

b584cd4

Parents:

b3b7e14

Message:

use unsigned integers for exception and interrupt numbers

File:

• kernel/arch/arm32/include/mm/page_fault.h (modified) (1 diff)

kernel/arch/arm32/include/mm/page_fault.h

@@ -81 +81 @@
 } instruction_union_t;
 
-extern void prefetch_abort(int n, istate_t *istate);
-extern void data_abort(int n, istate_t *istate);
+extern void prefetch_abort(unsigned int, istate_t *);
+extern void data_abort(unsigned int, istate_t *);
 
 #endif