On Tue, Oct 14, 2008 at 7:47 PM, Myles Watson <[EMAIL PROTECTED]> wrote:
> I was expecting that my 64-bit values would lose their upper bits, but I > wasn't expecting what I got. > just cast them to u32 in the call to printk (u32) whatever, (u32) whatever, etc. ron -- coreboot mailing list: [email protected] http://www.coreboot.org/mailman/listinfo/coreboot
