1 /* SPDX-License-Identifier: GPL-2.0+ */
2 /*
3  * Copyright (C) 2015, Bin Meng <bmeng.cn@gmail.com>
4  */
5 
6 #ifndef _QEMU_DEVICE_H_
7 #define _QEMU_DEVICE_H_
8 
9 #include <pci.h>
10 
11 #define QEMU_I440FX	PCI_BDF(0, 0, 0)
12 #define PIIX_ISA	PCI_BDF(0, 1, 0)
13 #define PIIX_IDE	PCI_BDF(0, 1, 1)
14 #define PIIX_USB	PCI_BDF(0, 1, 2)
15 #define PIIX_PM	PCI_BDF(0, 1, 3)
16 #define ICH9_PM	PCI_BDF(0, 0x1f, 0)
17 #define I440FX_VGA	PCI_BDF(0, 2, 0)
18 
19 #define QEMU_Q35	PCI_BDF(0, 0, 0)
20 #define Q35_VGA		PCI_BDF(0, 1, 0)
21 
22 #endif /* _QEMU_DEVICE_H_ */
23