>
> +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) {
> +cp
Let's keep it very simple for now and flush the complete tlb,
we currently can't find the right entries in our tlb, we would have
to store the used tables for each element.
Signed-off-by: David Hildenbrand
---
target/s390x/helper.h | 1 +
target/s390x/insn-data.def | 2 ++
target/s390x/me
