tag	line	file	source code
finit	44	kernel/FPU-emu/fpu_aux.c	Un_impl, Un_impl, fclex, finit, Un_impl, Un_impl, Un_impl, Un_impl
finit	150	kernel/FPU-emu/fpu_entry.c	finit();
finit	32	kernel/FPU-emu/fpu_proto.h	extern void finit(void);