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);
404 act_machine_switch_pcb(NULL, new); in machine_load_context()505 act_machine_switch_pcb(old, new); in machine_switch_context()2023 act_machine_switch_pcb(NULL, thread); in machine_thread_switch_addrmode()2189 act_machine_switch_pcb(old, new); in machine_stack_handoff()
525 act_machine_switch_pcb(thread_t old, thread_t new) in act_machine_switch_pcb() function