[aphyr]

Note--think I'm wrong about these types of process switches requiring a TLB shootdown. It think it's just cache invalidation.