On 12/18/2014 10:26 PM, Eduardo Habkost wrote: > +void tcg_arch_init(void);
I'm not keen on the name, because it's fairly ambiguous whether "arch" is talking about the host or target. It doesn't help that "tcg_target" is the host. ;-P Assuming we do this (see hook discussion), what about "translator" instead? r~