Constant WHEA_CMCI_THRESHOLD_TIME 

pub const WHEA_CMCI_THRESHOLD_TIME: u32 = 11u32;