#define PCI_INTERRUPT_PIN 0x3d /* 8 bits */
#define PCI_MIN_GNT 0x3e /* 8 bits */
#define PCI_MAX_LAT 0x3f /* 8 bits */
+#define PCI_INTEL_OPREGION 0xfc /* 32 bits */
/* Header type 1 (PCI-to-PCI bridges) */
#define PCI_SEC_STATUS 0x1e /* Secondary status register */
did = pt_pci_host_read(pci_dev_1f, PCI_DEVICE_ID, 2);
rid = pt_pci_host_read(pci_dev_1f, PCI_REVISION, 1);
- if ( vid == 0x8086 )
+ if ( vid == PCI_VENDOR_ID_INTEL )
pci_bridge_init(bus, PCI_DEVFN(0x1f, 0), vid, did, rid,
pch_map_irq, "intel_bridge_1f");
}
/* 1:1 map ASL Storage register value */
vendor_id = pt_pci_host_read(real_device->pci_dev, 0, 2);
- igd_opregion = pt_pci_host_read(real_device->pci_dev, 0xfc, 4);
- if ( (vendor_id == 0x8086) && igd_opregion )
+ igd_opregion = pt_pci_host_read(real_device->pci_dev, PCI_INTEL_OPREGION, 4);
+ if ( (vendor_id == PCI_VENDOR_ID_INTEL ) && igd_opregion )
{
ret |= xc_domain_memory_mapping(xc_handle, domid,
igd_opregion >> XC_PAGE_SHIFT,
20,
DPCI_REMOVE_MAPPING);
- vendor_id = pt_pci_host_read(real_device->pci_dev, 0, 2);
- igd_opregion = pt_pci_host_read(real_device->pci_dev, 0xfc, 4);
- if ( (vendor_id == 0x8086) && igd_opregion )
+ vendor_id = pt_pci_host_read(real_device->pci_dev, PCI_VENDOR_ID, 2);
+ igd_opregion = pt_pci_host_read(real_device->pci_dev, PCI_INTEL_OPREGION, 4);
+ if ( (vendor_id == PCI_VENDOR_ID_INTEL) && igd_opregion )
{
ret |= xc_domain_memory_mapping(xc_handle, domid,
igd_opregion >> XC_PAGE_SHIFT,