On 4/16/20 7:15 AM, Peter Maydell wrote: >> + * While we do not have access to the memory attributes from the PTE >> + * to tell Device memory from Normal memory, we can validly assume that >> + * non-RAM has been mapped as Device memory. Thus we indicate fault >> + * on all MMIO. > > I don't think you can assume this; for instance a QEMU 'romd' > device might reasonably be mapped as Normal memory but currently > be in "send all accesses to my read/write functions" mode.
If that is so, then TLB_MMIO will be set in the tlb_entry comparator. See accel/tcg/cputlb.c:882. r~