Jacket
Search the docs
/
API
Tools
Playground
main
Machine_X64 module
← Machine_X64
X64 counters
rdtscp
rdtsc
rdrand
rdseed
On this page
See also
std
/
Machine_X64
/
rdtsc
rdtsc
procedure
Source
rdtsc
:: () ->
u64
Returns
u64
See also
rdtscp
rdrand
rdseed
Jacket
Jacket