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