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

