taglinefilesource code
FPU_ORIG_EIP41kernel/FPU-emu/errors.cbyte1 = get_fs_byte((unsigned char *) FPU_ORIG_EIP);
FPU_ORIG_EIP42kernel/FPU-emu/errors.cFPU_modrm = get_fs_byte(1 + (unsigned char *) FPU_ORIG_EIP);
FPU_ORIG_EIP45kernel/FPU-emu/errors.cFPU_ORIG_EIP, byte1);
FPU_ORIG_EIP68kernel/FPU-emu/errors.cbyte1 = get_fs_byte((unsigned char *) FPU_ORIG_EIP);
FPU_ORIG_EIP69kernel/FPU-emu/errors.cFPU_modrm = get_fs_byte(1 + (unsigned char *) FPU_ORIG_EIP);
FPU_ORIG_EIP90kernel/FPU-emu/errors.cprintk("At %p: %02x ", FPU_ORIG_EIP, byte1);
FPU_ORIG_EIP163kernel/FPU-emu/fpu_entry.cFPU_ORIG_EIP = FPU_EIP;
FPU_ORIG_EIP179kernel/FPU-emu/fpu_entry.cFPU_entry_eip = FPU_ORIG_EIP = FPU_EIP;
FPU_ORIG_EIP342kernel/FPU-emu/fpu_entry.cFPU_EIP = FPU_ORIG_EIP;