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

Timestamp:

2008-03-12T20:04:12Z (17 years ago)

Author:

Jakub Jermar <jakub@…>

Branches:

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

Children:

d2fa31f7

Parents:

923c39e

Message:

Fix breakage in arm32 non-debug build.

File:

• kernel/arch/arm32/src/mm/page_fault.c (modified) (1 diff)

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

@@ -174 +174 @@
 void data_abort(int exc_no, istate_t *istate)
 {
-        fault_status_t fsr = read_fault_status_register();
+        fault_status_t fsr __attribute__ ((unused)) =
+            read_fault_status_register();
         uintptr_t badvaddr = read_fault_address_register();