rdtscp64

Declaration

uint64_t rdtscp64(uint32_t *aux);