FPU_DS
} else if (FPU_CS == __USER_CS && FPU_DS == __USER_DS) {
operand_address.selector = FPU_DS;
addr->selector = FPU_DS; /* Default, for 32 bit non-segmented mode. */
addr->selector = FPU_DS; /* Default, for 32 bit non-segmented mode. */