Wu Zhou 9a6e940849 hv: signal_event after make_request ...

make_request sets the request bit, and signal_event wakes the vcpu
thread. If we signal_event comes first, the target vCPU has a chance to
sleep again before processing the request bit.

Tracked-On: #8507
Signed-off-by: Wu Zhou <wu.zhou@intel.com>
Reviewed-by: Junjie Mao <junjie.mao@intel.com>

2023-09-15 11:52:40 +08:00

68 KiB

Raw Blame History

View Raw