On 12/07/2017 07:31 AM, David Hildenbrand wrote: > + /* 16 bit value store in an uint32_t (only valid bits set) */ > + tcg_gen_ld32u_i64(todpr, cpu_env, offsetof(CPUS390XState, todpr));
Any reason not to use a uint16_t and use tcg_gen_ld16u_i64 here? r~