tag	line	file	source code
skip_fwait	304	kernel/FPU-emu/fpu_entry.c	skip_fwait:
skip_fwait	314	kernel/FPU-emu/fpu_entry.c	{ FPU_EIP++; goto skip_fwait; }