HPET_MAX_CLK_PERIOD
if (hpet_info.gen_cap.counter_clk_period > HPET_MAX_CLK_PERIOD) {
(long)HPET_MAX_CLK_PERIOD);