Isn't that rdtscp ( https://www.felixcloutier.com/x86/rdtscp )?