From: Peter Maydell <peter.maydell@linaro.org>
Date: Tue, 5 May 2015 09:23:22 +0000 (+0100)
Subject: Merge remote-tracking branch 'remotes/armbru/tags/pull-cov-model-2015-05-05' into... 
X-Git-Tag: v2.4.0-rc0~151
X-Git-Url: https://www.infradead.org/git/?a=commitdiff_plain;h=b4c5df7a15dad2417bc05d08a470b82ab89d56ea;p=users%2Fdwmw2%2Fqemu.git

Merge remote-tracking branch 'remotes/armbru/tags/pull-cov-model-2015-05-05' into staging

coverity: fix address_space_rw model

# gpg: Signature made Tue May  5 09:44:26 2015 BST using RSA key ID EB918653
# gpg: Good signature from "Markus Armbruster <armbru@redhat.com>"
# gpg:                 aka "Markus Armbruster <armbru@pond.sub.org>"

* remotes/armbru/tags/pull-cov-model-2015-05-05:
  coverity: fix address_space_rw model

Signed-off-by: Peter Maydell <peter.maydell@linaro.org>
---

b4c5df7a15dad2417bc05d08a470b82ab89d56ea