| tag | line | file | source code |
|---|---|---|---|
| FPU_DS | 181 | drivers/FPU-emu/fpu_entry.c | else if ( FPU_CS == USER_CS && FPU_DS == USER_DS ) |
| FPU_DS | 517 | drivers/FPU-emu/fpu_entry.c | operand_address.selector = FPU_DS; |
| FPU_DS | 232 | drivers/FPU-emu/get_address.c | addr->selector = FPU_DS; /* Default, for 32 bit non-segmented mode. */ |
| FPU_DS | 327 | drivers/FPU-emu/get_address.c | addr->selector = FPU_DS; /* Default, for 32 bit non-segmented mode. */ |