[coreboot] stage0_i586.S Try 2

[Peter Stuge]

On Fri, Apr 04, 2008 at 02:15:53PM -0600, Stefan Reinauer wrote:
> -	.set gas_bug_workaround,(((\carsize - \windowoffset) / 0x1000) - 4)
> -	extractmask gas_bug_workaround, %eax
> -	.set gas_bug_workaround,(((\carsize - \windowoffset) / 0x1000))
> -	extractmask gas_bug_workaround, %edx
> -/* Without the gas bug workaround, the entire macro would consist only of the
> - * two lines below.
> -	extractmask (((\carsize - \windowoffset) / 0x1000) - 4), %eax
> -	extractmask (((\carsize - \windowoffset) / 0x1000)), %edx
> - */
> +	extractmask (((\carsize - \windowoffset) >> 12 ) - 4), %eax
> +	extractmask (((\carsize - \windowoffset) >> 12 )), %edx

Builds here, but others who have had problems should test too.

I would like a short comment above this that outlines the problem and
explains why >> is the solution.


//Peter