Searched refs:fpu_free (Results 1 – 3 of 3) sorted by relevance
114 extern void fpu_free(
851 fpu_free(thread, pcb->ifps); in machine_thread_destroy()
724 fpu_free(thread_t thread, void *fps) in fpu_free() function