Function read_uint64

Reads an unsigned 64 bit integer from input source.

	cl_uint64 CL_IODevice::read_uint64();