#include <virtio_types.h>
#include <linux/compat.h>
#define VIRTIO_PCI_DRV_NAME "virtio-pci.m"
#define VIRTIO_PCI_VENDOR_ID 0x1af4
#define VIRTIO_PCI_DEVICE_ID00 0x1040
#define VIRTIO_PCI_DEVICE_ID01 0x1041
#define VIRTIO_PCI_DEVICE_ID02 0x1042
#define VIRTIO_PCI_DEVICE_ID03 0x1043
#define VIRTIO_PCI_DEVICE_ID04 0x1044
#define VIRTIO_PCI_DEVICE_ID05 0x1045
#define VIRTIO_PCI_DEVICE_ID06 0x1046
#define VIRTIO_PCI_DEVICE_ID07 0x1047
#define VIRTIO_PCI_DEVICE_ID08 0x1048
#define VIRTIO_PCI_DEVICE_ID09 0x1049
#define VIRTIO_PCI_DEVICE_ID0A 0x104a
#define VIRTIO_PCI_DEVICE_ID0B 0x104b
#define VIRTIO_PCI_DEVICE_ID0C 0x104c
#define VIRTIO_PCI_DEVICE_ID0D 0x104d
#define VIRTIO_PCI_DEVICE_ID0E 0x104e
#define VIRTIO_PCI_DEVICE_ID0F 0x104f
#define VIRTIO_PCI_DEVICE_ID10 0x1050
#define VIRTIO_PCI_DEVICE_ID11 0x1051
#define VIRTIO_PCI_DEVICE_ID12 0x1052
#define VIRTIO_PCI_DEVICE_ID13 0x1053
#define VIRTIO_PCI_DEVICE_ID14 0x1054
#define VIRTIO_PCI_DEVICE_ID15 0x1055
#define VIRTIO_PCI_DEVICE_ID16 0x1056
#define VIRTIO_PCI_DEVICE_ID17 0x1057
#define VIRTIO_PCI_DEVICE_ID18 0x1058
#define VIRTIO_PCI_DEVICE_ID19 0x1059
#define VIRTIO_PCI_DEVICE_ID1A 0x105a
#define VIRTIO_PCI_DEVICE_ID1B 0x105b
#define VIRTIO_PCI_DEVICE_ID1C 0x105c
#define VIRTIO_PCI_DEVICE_ID1D 0x105d
#define VIRTIO_PCI_DEVICE_ID1E 0x105e
#define VIRTIO_PCI_DEVICE_ID1F 0x105f
#define VIRTIO_PCI_DEVICE_ID20 0x1060
#define VIRTIO_PCI_DEVICE_ID21 0x1061
#define VIRTIO_PCI_DEVICE_ID22 0x1062
#define VIRTIO_PCI_DEVICE_ID23 0x1063
#define VIRTIO_PCI_DEVICE_ID24 0x1064
#define VIRTIO_PCI_DEVICE_ID25 0x1065
#define VIRTIO_PCI_DEVICE_ID26 0x1066
#define VIRTIO_PCI_DEVICE_ID27 0x1067
#define VIRTIO_PCI_DEVICE_ID28 0x1068