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