Searched refs:machine_thread_switch_addrmode (Results 1 – 4 of 4) sorted by relevance
1128 extern void machine_thread_switch_addrmode(
566 machine_thread_switch_addrmode(thread); in task_set_64bit()
1167 machine_thread_switch_addrmode(thread_t thread) in machine_thread_switch_addrmode() function
2001 machine_thread_switch_addrmode(thread_t thread) in machine_thread_switch_addrmode() function