On 16/03/2022 18:38, Raphael Ning wrote:
Currently, evtchn_fifo_set_pending() will mark the event as PENDING even if it fails to lock the FIFO event queue(s), or if the guest has not initialized the FIFO control block for the target vCPU. A well-behaved guest should never trigger either of these cases.
Reviewed-by: David Vrabel <dvra...@amazon.co.uk> David