On 02/20/2015 09:57 AM, Paolo Bonzini wrote: > + * TCG will have to generate an operand as large as the distance between > + * tlb_table[0][0] and the tlb_table[NB_MMU_MODES - 1][0].addend. For
Nit: the distance is from the start of env, i.e. offsetof(CPUArchState, tlb_table[mem_index][0].addend) not from the start of the table. Not that this particularly invalidates the rest of your reasoning, but the start of the tlb_table is usually at a non-trivial (though not huge) offset from the start of CPUArchState. Otherwise, it looks good. r~