Searched refs:pmap_set_pmap (Results 1 – 3 of 3) sorted by relevance
135 pmap_set_pmap(new->map->pmap, new); in machine_switch_context()323 pmap_set_pmap(new->map->pmap, new); in machine_stack_handoff()
550 extern void pmap_set_pmap(pmap_t pmap, thread_t thread);
4420 pmap_set_pmap(new_pmap, thread);4425 pmap_set_pmap( function8643 pmap_set_pmap(pmap, current_thread());