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