osfmk/arm64/thread_initialize.c

157     pmap_t new_pmap;
175     new_pmap = new->map->pmap;
176     if ((old->map->pmap != new_pmap)) {
177         if(new_pmap != NULL) {
178              pmap_switch(new_pmap);
196     pmap_t          new_pmap;
228     new_pmap = new->map->pmap;
229     if ((old->map->pmap != new_pmap)) {
230         if(new_pmap != NULL) {
231             pmap_switch(new_pmap);