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

Reply via email to