tag	line	file	source code
instr_index	208	kernel/FPU-emu/fpu_entry.c	unsigned char instr_index = (FPU_modrm & 0x38) | (code & 7);
instr_index	211	kernel/FPU-emu/fpu_entry.c	switch ( type_table[(int) instr_index] )
instr_index	238	kernel/FPU-emu/fpu_entry.c	(*st_instr_table[(int) instr_index])();