Symbol: KGDB_REG_T11