On 3/7/19 4:15 AM, David Hildenbrand wrote: > +void probe_write_access(CPUS390XState *env, uint64_t addr, uint64_t len, > + uintptr_t ra) > +{ > +#ifdef CONFIG_USER_ONLY > + if (!h2g_valid(addr) || !h2g_valid(addr + len - 1)) { > + s390_program_interrupt(env, PGM_ADDRESSING, ILEN_AUTO, ra); > + }
You need || page_check_range(addr, len, PAGE_WRITE) < 0 as well. r~