Christian Prochaska 7cd187003d 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.

2013-10-30 08:56:32 +01:00

..

fiasco

Flush the TLB after idle operation

2013-10-30 08:56:32 +01:00