HelenOS sources

read_string       489 kernel/generic/src/debug/line.c 					filename = read_string(&fns, fns_end);
read_string       583 kernel/generic/src/debug/line.c 					filename = read_string(&fns, fns_end);
read_string       181 kernel/generic/src/debug/util.c 		DEBUGF("\"%s\"", read_string(data, data_end));
read_string       223 kernel/generic/src/debug/util.h 	(void) read_string(data, data_end);