Index: kernel/arch/arm32/include/arch/mm/page_fault.h
===================================================================
--- kernel/arch/arm32/include/arch/mm/page_fault.h	(revision 53ad43cce05b0004bca31a7c5d6822fc33686cf1)
+++ kernel/arch/arm32/include/arch/mm/page_fault.h	(revision 231c770580f4400a6e0e7612723b1efb16fd5390)
@@ -58,5 +58,5 @@
 		unsigned fs : 1; /**< armv6+ mandated, earlier IPLM. DEFINED */
 		unsigned wr : 1; /**< armv6+ only */
-		unsigned ext : 1 ; /**< external abort */
+		unsigned ext : 1; /**< external abort */
 		unsigned cm : 1; /**< Cache maintenance, needs LPAE support */
 		unsigned should_be_zero : 18;