2 #include <device/pci_def.h>
3 #include <device/pci_ids.h>
5 #include <device/device.h>
6 #define PCI_ID(VENDOR_ID, DEVICE_ID) \
7 ((((DEVICE_ID) & 0xFFFF) << 16) | ((VENDOR_ID) & 0xFFFF))
8 #define PCI_DEV_INVALID 0
10 static inline device_t
pci_locate_device(unsigned pci_id
, device_t from
)
12 return dev_find_device(pci_id
>> 16, pci_id
& 0xffff, from
);
28 /* Enable power on after power fail... */
29 dev
= pci_locate_device(PCI_ID(PCI_VENDOR_ID_INTEL
, PCI_DEVICE_ID_INTEL_82801ER_ISA
), 0);
30 if (dev
!= PCI_DEV_INVALID
) {
32 byte
= pci_read_config8(dev
, 0xa4);
34 pci_write_config8(dev
, 0xa4, byte
);