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);
405 act_machine_switch_pcb(NULL, new); in machine_load_context()506 act_machine_switch_pcb(old, new); in machine_switch_context()2047 act_machine_switch_pcb(NULL, thread); in machine_thread_switch_addrmode()2213 act_machine_switch_pcb(old, new); in machine_stack_handoff()
527 act_machine_switch_pcb(thread_t old, thread_t new) in act_machine_switch_pcb() function