1 /* SPDX-License-Identifier: GPL-2.0-only */
2
3 #include <console/console.h>
4 #include <device/device.h>
5 #include <device/pci.h>
6 #include <device/pci_ids.h>
7
8 #include <soc/pci_devs.h>
9 #include <soc/ramstage.h>
10
npk_init(struct device * dev)11 static void npk_init(struct device *dev)
12 {
13 printk(BIOS_DEBUG, "pch: %s\n", __func__);
14
15 /* TODO */
16 }
17
pci_npk_read_resources(struct device * dev)18 static void pci_npk_read_resources(struct device *dev)
19 {
20 /* Skip NorthPeak enumeration. */
21 }
22
23 static struct device_operations pmc_ops = {
24 .read_resources = pci_npk_read_resources,
25 .set_resources = pci_dev_set_resources,
26 .enable_resources = pci_dev_enable_resources,
27 .init = npk_init,
28 .ops_pci = &soc_pci_ops,
29 };
30
31 static const struct pci_driver pch_pmc __pci_driver = {
32 .ops = &pmc_ops,
33 .vendor = PCI_VID_INTEL,
34 .device = PCI_DID_INTEL_DNV_TRACEHUB,
35 };
36