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 8476a8dc6175cdfacf21d51244b0a2ff45d4cd8f)
@@ -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();