tag	line	file	source code
fstp_i	44	kernel/FPU-emu/fpu_entry.c	fcompst,  __BAD__, __BAD__, __BAD__, __BAD__, fstp_i,  fcompp,  __BAD__,
fstp_i	40	kernel/FPU-emu/fpu_proto.h	extern void fstp_i(void);