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_LPC), 0);
30 if (dev != PCI_DEV_INVALID) {
32 byte = pci_read_config8(dev, 0xa4);
34 pci_write_config8(dev, 0xa4, byte);