Paolo Bonzini writes:
> If the is_write argument is true, address_space_rw writes to memory
> and thus reads from the buffer. The opposite holds if is_write is
> false. Fix the model.
>
> Cc: Markus Armbruster
> Signed-off-by: Paolo Bonzini
> ---
> scripts/coverity-model.c | 6 +++---
> 1 fi
If the is_write argument is true, address_space_rw writes to memory
and thus reads from the buffer. The opposite holds if is_write is
false. Fix the model.
Cc: Markus Armbruster
Signed-off-by: Paolo Bonzini
---
scripts/coverity-model.c | 6 +++---
1 file changed, 3 insertions(+), 3 deletions(
