tag	line	file	source code
instr_index	468	drivers/FPU-emu/fpu_entry.c	unsigned char instr_index = (FPU_modrm & 0x38) | (byte1 & 7);
instr_index	478	drivers/FPU-emu/fpu_entry.c	switch ( type_table[(int) instr_index] )
instr_index	519	drivers/FPU-emu/fpu_entry.c	(*st_instr_table[(int) instr_index])();