Thanks for the patch!It might be self-evident, but since there are comments on other process handlings in HandleAutoVacLauncherInterrupts like below, how about adding a comment for the consistency?
/* Process barrier events */
if (ProcSignalBarrierPending)
ProcessProcSignalBarrier();
/* Process sinval catchup interrupts that happened while sleeping
*/
ProcessCatchupInterrupt();
Regards,
--
Atsushi Torikoshi
NTT DATA CORPORATION
