taglinefilesource code
instr_index481drivers/FPU-emu/fpu_entry.cunsigned char instr_index = (FPU_modrm & 0x38) | (code & 7);
instr_index491drivers/FPU-emu/fpu_entry.cswitch ( type_table[(int) instr_index] )
instr_index532drivers/FPU-emu/fpu_entry.c(*st_instr_table[(int) instr_index])();