Bananymous 376e4b4c45 Kernel: Reduce the number of sent IPIs ...

Only send an IPI when the target processors don't have pending messages.
This basically gets rid of TLB shootdowns from showing up in profiles.
Before they were taking maybe >10% kernel time :^D

2026-05-19 23:52:38 +03:00

..

kernel

Kernel: Reduce the number of sent IPIs

2026-05-19 23:52:38 +03:00