On Thu, Oct 16, 2025 at 09:32:29AM +0200, Jan Beulich wrote: > Following hpet_detach_channel(), IRQs may still occur: Ones may already > be in flight (both from before and after the last IRQ migration, i.e. on > possibly two distinct vectors targeting two different CPUs), and new ones > may still be raised as long as the channel is enabled.
Description would need to be adjusted if nothing else, as it speaks about two distinct vectors which is no longer possible after patch 3. > > Signed-off-by: Jan Beulich <[email protected]> With the above adjusted: Reviewed-by: Roger Pau Monné <[email protected]> Thanks, Roger.
