[SeaBIOS] [RFC] [PATCH 1/2] Implement support for transitioning from 16 bit to 32 bit

[Stefan Berger]

On 11/23/2010 08:54 AM, Gerd Hoffmann wrote:
> On 11/23/10 14:24, Kevin O'Connor wrote:
>> On Tue, Nov 23, 2010 at 11:32:13AM +0100, Gerd Hoffmann wrote:
>> You need to make sure the 32bit function is only available in 32bit
>> mode.  See below.
>
> Hmm, still not working for me.
>
> Is there some way to look at the code generated by gcc?
> Trying 'objdump -d code16.o' looks bogous (16 vs 32bit issue?)
>
There should be a ccode.16.s.

Otherwise you could capture the cc command when using

V=1 make

change the -c to -S and have a look at the generated output.

   Stefan
> cheers,
>   Gerd
>