taglinefilesource code
FPU_fwait_done228kernel/FPU-emu/fpu_entry.cgoto FPU_fwait_done;
FPU_fwait_done537kernel/FPU-emu/fpu_entry.cFPU_fwait_done: