Constant SystemReg_REG_AMX_CONFIG_EL2 

pub const SystemReg_REG_AMX_CONFIG_EL2: SystemReg = 59303;