概要 HPETが有効か確認する 詳細 boot_hpet_disableが0でかつ、hpet_addressが0以外の場合にHPETが有効と判断する

概要 HPETから現在時間を取得する 詳細 hpet_page*1の先頭からHPET_COUNTER*2バイト目から32bit分のデータを取得する *1:arch/x86/entry/vdso/vdso-layout.lds.Sのリンカスクリプト内で定義され、1ページ(4KB)分の領域を持ち、hpet_enable()で初期化される *…