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 b1eb7efc7ead4b1bcc86297cb1d3fdc368f57a11)
@@ -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);