HelenOS sources

read_uint64       238 kernel/generic/src/debug/util.c 		DEBUGF("%" PRIu64, read_uint64(data, data_end));
read_uint64       242 kernel/generic/src/debug/util.c 		uint64_t data1 = read_uint64(data, data_end);
read_uint64       243 kernel/generic/src/debug/util.c 		uint64_t data2 = read_uint64(data, data_end);
read_uint64       137 kernel/generic/src/debug/util.h 		return read_uint64(data, data_end);
read_uint64       196 kernel/generic/src/debug/util.h 		return read_uint64(data, data_end);