mark 518c6812d3 Block user space access between the cache purge and the context switch in
cpu_switch() as all user space addresses must be removed from the cache
prior to the context switch and interrupts are live for the purge.
1998-08-16 02:17:17 +00:00
..
1998-08-15 05:19:50 +00:00
1998-08-15 04:42:42 +00:00
1998-08-15 05:19:50 +00:00
1998-08-15 05:19:50 +00:00