Index: kernel/generic/src/console/cmd.c
===================================================================
--- kernel/generic/src/console/cmd.c	(revision 21881bd89560b621656e09355bf15dd512a7c207)
+++ kernel/generic/src/console/cmd.c	(revision d5f99e6d11790eb661ca1efecc03c13379cf6e82)
@@ -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;