Index: kernel/generic/src/console/cmd.c
===================================================================
--- kernel/generic/src/console/cmd.c	(revision 21881bd89560b621656e09355bf15dd512a7c207)
+++ kernel/generic/src/console/cmd.c	(revision 9bdf1f2aad059bcc24e1668155fba7964fe90426)
@@ -906,5 +906,5 @@
 		   ((char *) argv->buffer)[0] <= '9') {
 		uint64_t value;
-		rc = str_uint64((char *) argv->buffer, NULL, 0, true, &value);
+		rc = str_uint64_t((char *) argv->buffer, NULL, 0, true, &value);
 		if (rc == EOK)
 			addr = (uintptr_t) value;
Index: kernel/generic/src/console/kconsole.c
===================================================================
--- kernel/generic/src/console/kconsole.c	(revision 21881bd89560b621656e09355bf15dd512a7c207)
+++ kernel/generic/src/console/kconsole.c	(revision 9bdf1f2aad059bcc24e1668155fba7964fe90426)
@@ -472,5 +472,5 @@
 		/* It's a number - convert it */
 		uint64_t value;
-		int rc = str_uint64(text, NULL, 0, true, &value);
+		int rc = str_uint64_t(text, NULL, 0, true, &value);
 		switch (rc) {
 		case EINVAL: