/* * pmap_deactivate: deactivate a process' pmap. * * => Must be called with kernel preemption disabled (high IPL is enough). */