VLPCI_PCI_WND_ATTR_SZ
size = 0x00010000 << __SHIFTOUT(attr, VLPCI_PCI_WND_ATTR_SZ);
VLPCI_PCI_WND_ATTR_SZ));