Fixed prototype and function rdtsc to use uint64