Searched refs:act_machine_switch_pcb (Results 1 – 3 of 3) sorted by relevance
137 extern void act_machine_switch_pcb(thread_t old, thread_t new);
403 act_machine_switch_pcb(NULL, new); in machine_load_context()504 act_machine_switch_pcb(old, new); in machine_switch_context()2045 act_machine_switch_pcb(NULL, thread); in machine_thread_switch_addrmode()2211 act_machine_switch_pcb(old, new); in machine_stack_handoff()
524 act_machine_switch_pcb(thread_t old, thread_t new) in act_machine_switch_pcb() function