私は、最新の WDK を使用して Windows NDIS ドライバーに取り組んでいます。これには、単調に減少しないミリ秒単位の解像度のカーネル タイム カウンターが必要です。MSDN と WDK のドキュメントを調べましたが、TsTime と呼ばれるもの以外に役立つものは何も見つかりませんでした。これは、単なる例の名前なのか実際の変数なのかわかりません。私は NDISGetCurrentSystemTime を認識していますが、NDISGetCurrentSystemTime 自体が低オーバーヘッドでない限り、tick や jiffies のような低オーバーヘッドのものを持ちたいと考えています。
ある種のカーネル時間カウンターを格納する、オーバーヘッドの低いグローバル変数が必要なようです。誰でもこれが何であるかについての洞察を持っていますか?