HelenOS sources

print_formed_data  152 kernel/generic/src/debug/util.c 			print_formed_data(scs, form, &data, data_end, width);
print_formed_data   46 kernel/generic/src/debug/util.h extern void print_formed_data(debug_sections_t *scs, unsigned, const uint8_t **const, const uint8_t *, unsigned);