[coreboot] simple useful utility

[ron minnich]

On Sat, Oct 11, 2008 at 2:53 PM, Vincent Legoll
<vincent.legoll at gmail.com> wrote:

> and PCI IO address mask is 0x3FFF, right ?
>

I think so, unless it is 3fff<<3

Then we just need C code :-)

ron