Searched refs:fpu_switch_addrmode (Results 1 – 3 of 3) sorted by relevance
139 extern void fpu_switch_addrmode(
1772 fpu_switch_addrmode(thread_t thread, boolean_t is_64bit) in fpu_switch_addrmode() function
2042 fpu_switch_addrmode(thread, task_has_64Bit_addr(task)); in machine_thread_switch_addrmode()