pub const WHEA_XPF_MCA_EXTREG_MAX_COUNT: u32 = 24u32;