osfmk/arm/pcb.c

179     pmap_t new_pmap;
195     new_pmap = new->map->pmap;
196     if ((old->map->pmap != new_pmap)) {
197         if (new_pmap != NULL) {
198             pmap_switch(new_pmap);
215     pmap_t new_pmap;
247     new_pmap = new->map->pmap;
248     if ((old->map->pmap != new_pmap)) {
249         if (new_pmap != NULL) {
250             pmap_switch(new_pmap);