Searched refs:indent_buff (Results 1 - 1 of 1) sorted by relevance

/barrelfish-2018-10-04/lib/mdb/
H A Dmdb_tree.c174 static void print_cte(struct cte *cte, char *indent_buff) argument
206 indent_buff,
221 char indent_buff[indent+2]; local
223 indent_buff[i]='\t';
225 indent_buff[indent+1] = '\0';
237 printf("%sSELF!!!!\n", indent_buff);
244 print_cte(cte, indent_buff);
248 printf("%sSELF!!!!\n", indent_buff);

Completed in 41 milliseconds