Constant WHEA_RESTORE_CMCI_ENABLED 

pub const WHEA_RESTORE_CMCI_ENABLED: u32 = 7u32;