maxv 4c67b9d941 Add a machdep.tsc_user_enable sysctl, to enable/disable the rdtsc
instruction in usermode. It defaults to enabled.
2017-10-02 19:23:16 +00:00
..
2017-09-21 19:29:35 +00:00
2017-10-01 09:45:16 +00:00