On 10.09.2020 22:22, Oleksandr Tyshchenko wrote: > @@ -2277,8 +2299,10 @@ void leave_hypervisor_to_guest(void) > { > local_irq_disable(); > > - check_for_vcpu_work(); > - check_for_pcpu_work(); > + do > + { > + check_for_pcpu_work(); > + } while ( check_for_vcpu_work() );
Looking at patch 11 I've stumbled across changes done to code related to this, and now I wonder: There's no mention in the description of why this safe (i.e. not a potentially unbounded loop). As a nit - the opening brace does not belong on its own line in this specific case. Jan