Index: kernel/generic/src/debug/symtab.c
===================================================================
--- kernel/generic/src/debug/symtab.c	(revision e16e0d595cccccd7668bd8111478ac903c1b3be3)
+++ kernel/generic/src/debug/symtab.c	(revision 82bb9c121efbe640882ffd5dbdc9101eb995d0fa)
@@ -107,5 +107,5 @@
 static char * symtab_search_one(const char *name, int *startpos)
 {
-	unsigned int namelen = strlen(name);
+	unsigned int namelen = str_size(name);
 	char *curname;
 	int i, j;
@@ -127,5 +127,5 @@
 		j -= colonoffset;
 		curname += j;
-		if (strlen(curname) < namelen)
+		if (str_size(curname) < namelen)
 			continue;
 		if (strncmp(curname, name, namelen) == 0) {
@@ -158,5 +158,5 @@
 	i = 0;
 	while ((hint = symtab_search_one(name, &i))) {
-		if (!strlen(hint)) {
+		if (!str_size(hint)) {
 			*addr =  uint64_t_le2host(symbol_table[i].address_le);
 			found++;
@@ -215,5 +215,5 @@
 
 	/* Do not print everything */
-	if (!strlen(name))
+	if (!str_size(name))
 		return 0;
 	
@@ -224,5 +224,5 @@
 		startpos++;
 		if (!found)
-			strncpy(output, foundtxt, strlen(foundtxt) + 1);
+			strncpy(output, foundtxt, str_size(foundtxt) + 1);
 		else {
 			for (i = 0; output[i] && foundtxt[i] &&
@@ -236,5 +236,5 @@
 		return 0;
 
-	if (found > 1 && !strlen(output)) {
+	if (found > 1 && !str_size(output)) {
 		printf("\n");
 		startpos = 0;