[fb-d] Re: [OpenBIOS] Mixing 16 and 32 bits code

[James Hendricks]

> 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. 

As I remember we wanted it and a jump to fit in an exact space at FFF0 or
something like that.  Ron can tell us better Monday (LANL is closed for a
few days because of fire).

	- James

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