| /* | |
| * Copyright (C) 2014, Bin Meng <bmeng.cn@gmail.com> | |
| * | |
| * SPDX-License-Identifier: GPL-2.0+ | |
| */ | |
| #ifndef _X86_ARCH_TNC_H_ | |
| #define _X86_ARCH_TNC_H_ | |
| #include <pci.h> | |
| /* PCI Configuration Space (D31:F0): LPC */ | |
| #define PCH_LPC_DEV PCI_BDF(0, 0x1f, 0) | |
| #endif /* _X86_ARCH_TNC_H_ */ |