HelenOS sources

print_format      370 kernel/generic/src/debug/line.c 		print_format("directory_entry_format",
print_format      389 kernel/generic/src/debug/line.c 		print_format("file_name_entry_format",
print_format       41 kernel/generic/src/debug/util.h extern void print_format(const char *, const uint8_t *, const uint8_t *);