/*
 * Copyright (C) 2015, Bin Meng <bmeng.cn@gmail.com>
 *
 * SPDX-License-Identifier:	GPL-2.0+
 */

#ifndef _QEMU_DEVICE_H_
#define _QEMU_DEVICE_H_

#include <pci.h>

#define QEMU_I440FX	PCI_BDF(0, 0, 0)
#define PIIX_ISA	PCI_BDF(0, 1, 0)
#define PIIX_IDE	PCI_BDF(0, 1, 1)
#define PIIX_USB	PCI_BDF(0, 1, 2)
#define I440FX_VGA	PCI_BDF(0, 2, 0)

#define QEMU_Q35	PCI_BDF(0, 0, 0)
#define Q35_VGA		PCI_BDF(0, 1, 0)

#endif /* _QEMU_DEVICE_H_ */