tag	line	file	source code
do_another_FPU_instruction	214	drivers/FPU-emu/fpu_entry.c	do_another_FPU_instruction:
do_another_FPU_instruction	550	drivers/FPU-emu/fpu_entry.c	goto do_another_FPU_instruction;