/*
 * 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_ */