[OpenBIOS] Mixing 16 and 32 bits code

[Maciej W. Rozycki]

On Wed, 17 May 2000, Ollie Lho wrote:

> 	.byte 0x66 /* prefix */
> 	.byte 0x26
> 	.byte 0x0f, 0x01, 0x16 /* lgdt [es:offset]*/
> 	.word 0x02	/* offset in segment */

 Hmm, why would you encode lgdt manually?  I can't recall gas handling it
incorrectly and even if it did it would be gas that would need fixing. 
AFAIR, the "lgdtl %es:2" instruction yields exactly the same bytes as you
emit explicitly above. 

-- 
+  Maciej W. Rozycki, Technical University of Gdansk, Poland   +
+--------------------------------------------------------------+
+        e-mail: macro at ds2.pg.gda.pl, PGP key available        +

-
To unsubscribe: send mail to majordomo at freiburg.linux.de
with 'unsubscribe openbios' in the body of the message