[coreboot] ACPI resource problem

[WANG Siyuan]

Hi,
I have a question about acpi resource.

My device need the resource:
    Name(_CRS, ResourceTemplate() {
      IRQ(Edge, ActiveHigh, Exclusive) {3}
      Memory32Fixed(ReadWrite, 0xFEDC2000, 0x1000)
    })
In Win8's device manager, I got error "This device cannot find enough free
resources that it can use."

I reserve resource (0xFEDC2000 - 0xFEDC2FFF) using flag resource->flags =
IORESOURCE_MEM | IORESOURCE_RESERVE | IORESOURCE_FIXED | IORESOURCE_STORED
|  IORESOURCE_ASSIGNED; I still got this error.

I have 2 questions:
1) Do I need to reserve MMIO for (0xFEDC2000 - 0xFEDC2FFF)?
2) Do I need to do some thing for IRQ(Edge, ActiveHigh, Exclusive) {3}?

Any replay is appreciated!

Yours sincerely,
WANG Siyuan