> > +void HELPER(idte)(CPUS390XState *env, uint64_t r1, uint64_t r2, uint32_t m4) > +{ > + CPUState *cs = CPU(s390_env_get_cpu(env)); > + const uintptr_t ra = GETPC(); > + uint64_t table, entry, raddr; > + uint16_t entries, i, index = 0; > + > + if (r2 & 0xff000ul) { > + cpu_restore_state(cs, ra); > + program_interrupt(env, PGM_SPECIFICATION, 4); > + } > + > + if (!(r1 & 0x800u)) {
Turning this into if (!(r2 & 0x800u)) { allows me to boot an upstream linux guest compiled for z9, using dat-enhancement. Linux, however seems to never use it for invalidation, only for flushing in my setup. -- Thanks, David