Index: kernel/arch/arm32/src/mm/page_fault.c
===================================================================
--- kernel/arch/arm32/src/mm/page_fault.c	(revision 088cecc97a4e21cb1647840c41cee125f006a3b3)
+++ 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();