tag	line	file	source code
do_another_FPU_instruction	209	drivers/FPU-emu/fpu_entry.c	do_another_FPU_instruction:
do_another_FPU_instruction	237	drivers/FPU-emu/fpu_entry.c	goto do_another_FPU_instruction;
do_another_FPU_instruction	569	drivers/FPU-emu/fpu_entry.c	goto do_another_FPU_instruction;