commit | 2e1c92daff752c056ae10087e6b1702b0460af88 | [log] [tgz] |
---|---|---|
author | Paolo Bonzini <pbonzini@redhat.com> | Mon May 04 14:18:09 2015 +0200 |
committer | Markus Armbruster <armbru@redhat.com> | Tue May 05 10:42:11 2015 +0200 |
tree | b6a85e5a4d7f410cbcdea5917cd7921f7e9ef288 | |
parent | 5bccbb04a4abba7af4398de992bf06d585fd1333 [diff] |
coverity: fix address_space_rw model 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 <armbru@redhat.com> Signed-off-by: Paolo Bonzini <pbonzini@redhat.com> Signed-off-by: Markus Armbruster <armbru@redhat.com>