I am looking for a replacement of the RDTSC instruction as it is no longer useful on the newer multi-core and power-saving CPU's.
The High Precision Event Timer (HPET) seems to a suitable candidate, but I cannot find good coumentation on how to use the API.
I have found an example C program in the kernel documentation, but it does tell how to use it. You have to specify a device name, but which? I have a '/dev/hpet' device on Fedora Core 6, but open() fails on it.
How can you find out if the BIOS supports HPET?
Where can I find good documentation or an example program that shows how to get a RDTSC counter using HPET?