16 Jul
2020
16 Jul
'20
9:24 p.m.
On Thu, Jul 16, 2020 at 10:15:38AM +0200, Sebastian Andrzej Siewior wrote:
On 2020-07-16 09:57:18 [+0200], Peter Zijlstra wrote:
there appear to be hardly any users left.. Can't we stage an extinction event here instead?
Most of the time the tasklet is scheduled from an interrupt handler. So we could get rid of these tasklets by using threaded IRQs.
Perhaps I can add a comment above the tasklet API area in interrupt.h?
--
Kees Cook