Symbol: KGDB_REG_T5