Constant HPET_CAP_COUNTER_CLK_PERIOD_SHIFT 

const HPET_CAP_COUNTER_CLK_PERIOD_SHIFT: u32 = 32;