Tom b919789db2 Kernel: Kill user mode threads that are marked to die ...

Threads that don't make syscalls still need to be killed, and we can
do that at any time we want so long the thread is in user mode and
not somehow blocked (e.g. page fault).

2021-07-13 20:23:10 +02:00

20 KiB

Raw Blame History

View Raw