Be sure to flush the entire va space in cpu_switch(). This used to work because the cmmu code is suboptimal at the moment.
Be sure to flush the entire va space in cpu_switch().
This used to work because the cmmu code is suboptimal at the moment.

orumin/openbsd-efivars,orumin/openbsd-efivars,orumin/openbsd-efivars,orumin/openbsd-efivars