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