Index: kernel/generic/src/console/kconsole.c
===================================================================
--- kernel/generic/src/console/kconsole.c	(revision 55b77d9e6e4dab7c54e9826ca79d2d6a0ddb6d87)
+++ kernel/generic/src/console/kconsole.c	(revision 1295a1da3e76dbd378b542634f4fd849fc544070)
@@ -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: