[Qemu-devel] [PULL 0/1] coverity: fix address_space_rw model

[Markus Armbruster]

The following changes since commit 5bccbb04a4abba7af4398de992bf06d585fd1333:

  Merge remote-tracking branch 'remotes/kevin/tags/for-upstream' into staging 
(2015-04-30 20:34:54 +0100)

are available in the git repository at:


  git://repo.or.cz/qemu/armbru.git tags/pull-cov-model-2015-05-05

for you to fetch changes up to 2e1c92daff752c056ae10087e6b1702b0460af88:

  coverity: fix address_space_rw model (2015-05-05 10:42:11 +0200)

----------------------------------------------------------------
coverity: fix address_space_rw model

----------------------------------------------------------------
Paolo Bonzini (1):
      coverity: fix address_space_rw model

 scripts/coverity-model.c | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

-- 
1.9.3