Christian Prochaska 43cd446fe9 Flush the TLB after idle operation ...

While a CPU executes the idle thread, it receives no cross-CPU TLB flush
requests. Therefore, the TLB needs to get flushed when leaving the idle
thread to compensate for any missed flush requests.

Fixes ssumpf/foc#9.

2018-06-25 16:16:31 +02:00

..

fiasco

Flush the TLB after idle operation

2018-06-25 16:16:31 +02:00