tree 051bd94371fa20d83848237a9a89ff6670a4b466
parent 95325e6b190bb4ec3383aa1241d10675057bff45
author Bharat Bhushan <r65777@freescale.com> 1318499228 +0530
committer Avi Kivity <avi@redhat.com> 1330951944 +0200

PPC: Fix race in mtmsr paravirt implementation

The current implementation of mtmsr and mtmsrd are racy in that it does:

  * check (int_pending == 0)
  ---> host sets int_pending = 1 <---
  * write shared page
  * done

while instead we should check for int_pending after the shared page is written.

Signed-off-by: Bharat Bhushan <bharat.bhushan@freescale.com>
Signed-off-by: Alexander Graf <agraf@suse.de>
Signed-off-by: Avi Kivity <avi@redhat.com>