Searched refs:machine_thread_switch_cpu_data (Results 1 – 2 of 2) sorted by relevance
83 machine_thread_switch_cpu_data(thread_t old, thread_t new) in machine_thread_switch_cpu_data() function137 machine_thread_switch_cpu_data(old, new); in machine_switch_context()325 machine_thread_switch_cpu_data(old, new); in machine_stack_handoff()
97 machine_thread_switch_cpu_data(thread_t old, thread_t new) in machine_thread_switch_cpu_data() function154 machine_thread_switch_cpu_data(old, new); in machine_switch_pmap_and_extended_context()