Constant HPET_CONFIG_ENABLE 

const HPET_CONFIG_ENABLE: u64 = 0x0000_0000_0000_0001;