Added the files from TAS, and rdtsc fix for 64 bit machines.