64ビットWindowsダンプの現在のティックカウントはどこで取得できますか？

Question

KeTickCountという名前のシンボルが32ビットで動作しますが、64ビットダンプ（Windows 2008）でそれを適用すると、もう動作しません。ウィンドウは値を変更しましたか？

私ができる唯一のアプローチは、現在の稼働時間を取得し、それを厄介で不正確なticksPerSecondで掛けるために ".time"を使用することです。

Answer 1

インターネット上のseveral postsによれば、ハードコーディングされたアドレスは0FFFFF78000000320hです。私はそれを試していない。

Answer 2

Run！kuserをwindbgで実行します。