[monocasa]

They'd look more like Interprocessor Interrupts (IPIs). The kernel already internally uses those for TLB shootdowns.

[dmitrygr]

That is a lot more expensive than even syscalls with KAISER