HelenOS sources

fpu_restore        68 kernel/arch/ia32/src/fpu_context.c static fpu_context_function fpu_restore;
fpu_restore       106 kernel/arch/ia32/src/fpu_context.c 	fpu_restore = fpu_context_fx_restore;
fpu_restore       113 kernel/arch/ia32/src/fpu_context.c 	fpu_restore = fpu_context_f_restore;
fpu_restore       123 kernel/arch/ia32/src/fpu_context.c 	fpu_restore(fctx);
fpu_restore       354 kernel/generic/src/proc/scheduler.c 	fpu_restore();