Index: kernel/generic/src/mm/backend_user.c
===================================================================
--- kernel/generic/src/mm/backend_user.c	(revision 300f4c4dd43b87fb910ea1cfccdc3280c2bdd2ca)
+++ kernel/generic/src/mm/backend_user.c	(revision d4da8601eeecd6ff5bc2be80760523864c341a26)
@@ -129,5 +129,5 @@
 	if (rc != EOK) {
 		log(LF_USPACE, LVL_FATAL,
-		    "Page-in request for page %#" PRIxn
+		    "Page-in request for page %#" PRIxPTR
 		    " at pager %d failed with error %d.",
 		    upage, pager_info->pager, rc);