Symbol: KGDB_REG_T7