Constant windows::Wdk::System::SystemServices::WHEA_XPF_MCA_EXTREG_MAX_COUNT
pub const WHEA_XPF_MCA_EXTREG_MAX_COUNT: u32 = 24u32;
pub const WHEA_XPF_MCA_EXTREG_MAX_COUNT: u32 = 24u32;