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