Index: kernel/arch/arm32/include/mm/page.h
===================================================================
--- kernel/arch/arm32/include/mm/page.h	(revision e49e2348e7647a4dd4d4e2879082790396c4f4f3)
+++ kernel/arch/arm32/include/mm/page.h	(revision 5d8d71ebf89df6dbc2bd7f5a55aa3d4c73a286cd)
@@ -194,7 +194,6 @@
 {
 	asm volatile (
-		"mcr p15, 0, %0, c2, c0, 0 \n"
-		:
-		: "r"(pt)
+		"mcr p15, 0, %[pt], c2, c0, 0\n"
+		:: [pt] "r" (pt)
 	);
 }