rdtsc calls seem to be working

Signed-off-by: James Paton <paton@cs.wisc.edu>