かなり近代的なシステムでは、Linuxは（または）仮想ライブラリを介してユーザースペースで「システム」呼び出しをgettimeofday完全にサービスできるため、実際にはシステム呼び出しを実行しません。clock_gettime安定したタイムスタンプカウンタ（tsc）を使用しているシステムでは、そうでない場合、Linuxは（高精度イベントタイマー）ハードウェアを使用します。ハードウェア・レジスタをユーザー・スペースにマップすることで、ユーザー・スペースで引き続き使用できます。linux-vdso.solinux-gate.sohpetlinux-vdso.so
私は最近、Atom N450ベースのネットブック（32ビットLinuxの実行）で、これらのシステムコールがユーザースペースでサービスされていないことを発見しました。しかし、ネットブックがサポートしていないLinuxに必要な特定の機能が何であるかはわかりません。時間に依存しない他のシステムコールは、getpid完全にユーザースペースでサービスされます。
それでは、hpetユーザースペースにタイマーを公開するためにLinuxが要求または確認する特定のハードウェア機能は何ですか？私のシステムにこれらの項目があるかどうかを確認するには？