Constant WHEA_AMD_EXT_REG_NUM 

pub const WHEA_AMD_EXT_REG_NUM: u32 = 10u32;