diff options
| author | Paolo Bonzini <pbonzini@redhat.com> | 2017-11-29 11:25:12 +0100 |
|---|---|---|
| committer | Kevin Wolf <kwolf@redhat.com> | 2017-11-29 15:11:14 +0100 |
| commit | 356f59b8757f47c0aca3e2e4e51d6010f64cade1 (patch) | |
| tree | 485b5ad24c5e77c0b6b424aa26c4a31709b3343b /docs/spin/win32-qemu-event.promela | |
| parent | 5bf1d5a73a4a6d0e2d692bd02b6d7f3eedeed3b7 (diff) | |
blockjob: introduce block_job_do_yield
Hide the clearing of job->busy in a single function, and set it
in block_job_enter. This lets block_job_do_yield verify that
qemu_coroutine_enter is not used while job->busy = false.
Signed-off-by: Paolo Bonzini <pbonzini@redhat.com>
Tested-By: Jeff Cody <jcody@redhat.com>
Reviewed-by: Fam Zheng <famz@redhat.com>
Reviewed-by: Jeff Cody <jcody@redhat.com>
Reviewed-by: Stefan Hajnoczi <stefanha@redhat.com>
Signed-off-by: Kevin Wolf <kwolf@redhat.com>
Diffstat (limited to 'docs/spin/win32-qemu-event.promela')
0 files changed, 0 insertions, 0 deletions