Searched refs:machine_thread_switch_cpu_data (Results 1 – 1 of 1) sorted by relevance
103 machine_thread_switch_cpu_data(thread_t old, thread_t new) in machine_thread_switch_cpu_data() function161 machine_thread_switch_cpu_data(old, new); in machine_switch_pmap_and_extended_context()