Constant windows::Wdk::System::SystemServices::WHEA_AMD_EXT_REG_NUM

pub const WHEA_AMD_EXT_REG_NUM: u32 = 10u32;