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