#include <linux/auxiliary_bus.h>
#include <linux/pci.h>
#include <linux/vdpa.h>
#include <linux/virtio_pci_modern.h>
#include <linux/pds/pds_common.h>
#include <linux/pds/pds_core_if.h>
#include <linux/pds/pds_adminq.h>
#include <linux/pds/pds_auxbus.h>
#include "aux_drv.h"
#include "debugfs.h"
#include "vdpa_dev.h"
static const struct auxiliary_device_id pds_vdpa_id_table[] = …;
static int pds_vdpa_device_id_check(struct pci_dev *pdev)
{ … }
static int pds_vdpa_probe(struct auxiliary_device *aux_dev,
const struct auxiliary_device_id *id)
{ … }
static void pds_vdpa_remove(struct auxiliary_device *aux_dev)
{ … }
static struct auxiliary_driver pds_vdpa_driver = …;
static void __exit pds_vdpa_cleanup(void)
{ … }
module_exit(pds_vdpa_cleanup);
static int __init pds_vdpa_init(void)
{ … }
module_init(…) …;
MODULE_DESCRIPTION(…);
MODULE_AUTHOR(…) …;
MODULE_LICENSE(…) …;