HelenOS sources

fpu_context_restore   79 kernel/arch/arm64/src/fpu_context.c 	fpu_context_restore(&init);
fpu_context_restore   41 kernel/generic/include/fpu_context.h extern void fpu_context_restore(fpu_context_t *);
fpu_context_restore   88 kernel/generic/src/proc/scheduler.c 		fpu_context_restore(&THREAD->fpu_context);
fpu_context_restore  296 kernel/generic/src/proc/scheduler.c 		fpu_context_restore(&THREAD->fpu_context);