Symbol: GDB_REG_R12