Constant WHEA_CMCI_THRESHOLD_COUNT 

pub const WHEA_CMCI_THRESHOLD_COUNT: u32 = 10u32;