1 /* SPDX-License-Identifier: GPL-2.0+ */
3 * Copyright (C) 2013 Google Inc.
4 * Copyright (C) 2016 Bin Meng <bmeng.cn@gmail.com>
6 * Modified from coreboot src/soc/intel/baytrail/include/soc/pci_devs.h
13 * Internal PCI device numbers within the SoC.
15 * Note it must start with 0x_ prefix, as the device number macro will be
16 * included in the ACPI ASL files (see irq_helper.h and irq_route.h).
19 /* SoC transaction router */
22 /* Graphics and Display */
50 #define MMC45_DEV 0x17
55 /* Trusted Execution Engine */
70 /* Platform Controller Unit */
73 #endif /* _DEVICE_H_ */