diff options
| author | Paolo Bonzini <pbonzini@redhat.com> | 2023-05-17 14:47:55 +0200 |
|---|---|---|
| committer | Paolo Bonzini <pbonzini@redhat.com> | 2023-05-25 10:18:33 +0200 |
| commit | e37548ef13dcbe158662c8dc9797c15c052c3a81 (patch) | |
| tree | ca9c2a74b1d10547ca41ceb62fa20ccc7c28353a /.github | |
| parent | 690705ca0b0f1ed24a34ccd14c9866fbe47c69a6 (diff) | |
monitor: use QEMU_LOCK_GUARD a bit more
Reviewed-by: Richard Henderson <richard.henderson@linaro.org>
Signed-off-by: Paolo Bonzini <pbonzini@redhat.com>
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions