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