Lines Matching defs:oldmap
8062 vm_map_t oldmap;
8070 oldmap = vm_map_switch(map);
8078 (void) vm_map_switch(oldmap);
13229 vm_map_t oldmap = thread->map;
13240 return(oldmap);
13270 vm_map_t oldmap;
13276 oldmap = vm_map_switch(map);
13280 vm_map_switch(oldmap);
13312 vm_map_t oldmap;
13318 oldmap = vm_map_switch(map);
13322 vm_map_switch(oldmap);