HelenOS sources

read_uint32       104 kernel/generic/src/debug/util.c 		len = read_uint32(data, data_end);
read_uint32       234 kernel/generic/src/debug/util.c 		DEBUGF("%u", read_uint32(data, data_end));
read_uint32       263 kernel/generic/src/debug/util.c 		len = read_uint32(data, data_end);
read_uint32       135 kernel/generic/src/debug/util.h 		return read_uint32(data, data_end);
read_uint32       193 kernel/generic/src/debug/util.h 	uint32_t initial = read_uint32(data, data_end);