repository service wrote:
>       printk_debug("biosint:  ip 0x%x   cs 0x%x  flags 0x%x\n",
> -                  ip, cs, flags);
> +                  (u32)ip, (u32)cs, (u32)flags);

Aren't ip and cs just 16? flags is 32 though.


//Peter

-- 
coreboot mailing list: [email protected]
http://www.coreboot.org/mailman/listinfo/coreboot

Reply via email to