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 06f96234f33ae4b1e97f70d3f777e625b701a95f)
@@ -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)
 	);
 }