On Sat, 31 Jul 2021 at 07:29, Paolo Bonzini <pbonz...@redhat.com> wrote: > > Use void * for consistency with the actual function; provide a model > for MemoryRegionCache functions and for address_space_rw. These > let Coverity understand the bounds of the data that various functions > read and write even at very high levels of inlining (e.g. pci_dma_read). > > Signed-off-by: Paolo Bonzini <pbonz...@redhat.com> > ---
Reviewed-by: Peter Maydell <peter.mayd...@linaro.org> thanks -- PMM