This fixes a deadlock in cpu_disable_ticks.
Signed-off-by: Paolo Bonzini pbonz...@redhat.com
---
Should be squashed in Ping Fan's patches.
cpus.c | 21 +++--
1 file changed, 15 insertions(+), 6 deletions(-)
diff --git a/cpus.c b/cpus.c
index 08eaf23..01acce2 100644
---
On 8 Oct 2013, at 09:47, Paolo Bonzini wrote:
This fixes a deadlock in cpu_disable_ticks.
Signed-off-by: Paolo Bonzini pbonz...@redhat.com
Reviewed-by: Alex Bligh a...@alex.org.uk
---
Should be squashed in Ping Fan's patches.
cpus.c | 21 +++--
1 file changed, 15