Ansonsten hilft eine Suche nach
RDTSC. (Nein, ich wusste früher auch nicht, dass es sowas gibt.)
Die Suche liefer dir dann folgendes Ergebnis:
Zeitmessung mit dem RealTimeCounter
Da findest du auch die Funktion RDTSC, die du für Basilikums Beitrag benötigst.