tag	line	file	source code
do_another_FPU_instruction	206	kernel/FPU-emu/fpu_entry.c	do_another_FPU_instruction:
do_another_FPU_instruction	233	kernel/FPU-emu/fpu_entry.c	goto do_another_FPU_instruction;
do_another_FPU_instruction	553	kernel/FPU-emu/fpu_entry.c	goto do_another_FPU_instruction;