Index: kernel/arch/arm32/src/mm/page_fault.c
===================================================================
--- kernel/arch/arm32/src/mm/page_fault.c	(revision 923c39ef88449c3bf5f20c07c2f7976b7c01ec22)
+++ kernel/arch/arm32/src/mm/page_fault.c	(revision cbd6545f22e62a58c6bdd14d246595812175bdd8)
@@ -174,5 +174,6 @@
 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();