> I'm not sure what you mean, here. Do you want "info all-registers" to > print the opcode and the FPU instruction pointer selector as a single > word? Yes, I think this is what "info all-registers" should do.