1 /* SPDX-License-Identifier: GPL-2.0-only */
3 #include <console/console.h>
4 #include <device/device.h>
5 #include <device/pci.h>
6 #include <device/pci_ids.h>
8 #include <soc/pci_devs.h>
9 #include <soc/ramstage.h>
11 static void npk_init(struct device
*dev
)
13 printk(BIOS_DEBUG
, "pch: %s\n", __func__
);
18 static void pci_npk_read_resources(struct device
*dev
)
20 /* Skip NorthPeak enumeration. */
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
,
28 .ops_pci
= &soc_pci_ops
,
31 static const struct pci_driver pch_pmc __pci_driver
= {
33 .vendor
= PCI_VID_INTEL
,
34 .device
= PCI_DID_INTEL_DNV_TRACEHUB
,