On 12/07/2017 07:31 AM, David Hildenbrand wrote: > +DEF_HELPER_FLAGS_1(sckpf, TCG_CALL_NO_RWG, void, env) ... > +/* Set Tod Programmable Field */ > +void HELPER(sckpf)(CPUS390XState *env) > +{ > + uint32_t val = env->regs[0]; > + > + if (val & 0xffff0000) { > + s390_program_interrupt(env, PGM_SPECIFICATION, 2, GETPC()); > + } > + env->todpr = val; > +}
You do read a tcg global -- regs[0]. Either pass in r0 as a parameter or use TCG_CALL_NO_WG. r~