void add_data_table(TargetMemoryAccess memory, TargetAddress ptr)
{
int table_size = 8 + 2 * memory.TargetMemoryInfo.TargetAddressSize;
TargetReader reader = new TargetReader (memory.ReadMemory (ptr, table_size));
int domain = reader.ReadInteger ();
reader.Offset += 4;
DomainDataTable table = (DomainDataTable) data_tables [domain];
if (table == null) {
TargetAddress first_chunk = reader.ReadAddress ();
table = new DomainDataTable (this, domain, ptr, first_chunk);
data_tables.Add (domain, table);
}
}