diff options
| author | Paolo Bonzini <pbonzini@redhat.com> | 2015-05-04 14:18:09 +0200 |
|---|---|---|
| committer | Markus Armbruster <armbru@redhat.com> | 2015-05-05 10:42:11 +0200 |
| commit | 2e1c92daff752c056ae10087e6b1702b0460af88 (patch) | |
| tree | b6a85e5a4d7f410cbcdea5917cd7921f7e9ef288 /coroutine-sigaltstack.c | |
| 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>
Diffstat (limited to 'coroutine-sigaltstack.c')
0 files changed, 0 insertions, 0 deletions