Searched refs:machine_thread_switch_addrmode (Results 1 – 4 of 4) sorted by relevance
1051 extern void machine_thread_switch_addrmode(
568 machine_thread_switch_addrmode(thread); in task_set_64bit()
911 machine_thread_switch_addrmode(thread_t thread) in machine_thread_switch_addrmode() function
1997 machine_thread_switch_addrmode(thread_t thread) in machine_thread_switch_addrmode() function