2016-03-10 時間管理 - vread_hpet() time hpet 概要 HPETから現在時間を取得する 詳細 hpet_page*1の先頭からHPET_COUNTER*2バイト目から32bit分のデータを取得する *1:arch/x86/entry/vdso/vdso-layout.lds.Sのリンカスクリプト内で定義され、1ページ(4KB)分の領域を持ち、hpet_enable()で初期化される *2:0x0f0と定義され、この場所にHPETのカウンター値が保存される 参照