Constant WHEA_AMD_EXT_REG_NUM

pub const WHEA_AMD_EXT_REG_NUM: u32 = 10u32;