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