On Sat, Oct 11, 2008 at 2:53 PM, Vincent Legoll <[EMAIL PROTECTED]> wrote:
> and PCI IO address mask is 0x3FFF, right ? > I think so, unless it is 3fff<<3 Then we just need C code :-) ron -- coreboot mailing list: coreboot@coreboot.org http://www.coreboot.org/mailman/listinfo/coreboot