Constant HPET_CAP_NUM_TIMERS_MASK 

const HPET_CAP_NUM_TIMERS_MASK: u64 = 0x0000_0000_0000_1F00;