[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Minios-devel] [UNIKRAFT PATCH v2 4/7] plat/drivers: Introduce virtio PCI device



We introduces support for virtio PCI legacy device support in this
patch. The driver register on the PCI bus to probe for device with
QUMRANET vendor id. The virtio PCI bus adds the virtio dev. The
virtio bus is responsible for bridging the virtio device with the
driver. The virtio PCI device provides configuration callback for
the PCI bus operation performed on the virtio device. Currently we
add support to the KVM platform

Signed-off-by: Sharan Santhanam <sharan.santhanam@xxxxxxxxx>
---
 plat/drivers/include/virtio/virtio_bus.h | 125 ++++++++++++
 plat/drivers/virtio/virtio_bus.c         | 115 ++++++++++++
 plat/drivers/virtio/virtio_pci.c         | 313 +++++++++++++++++++++++++++++++
 plat/kvm/Config.uk                       |  10 +
 plat/kvm/Makefile.uk                     |   4 +-
 5 files changed, 566 insertions(+), 1 deletion(-)
 create mode 100644 plat/drivers/virtio/virtio_pci.c

diff --git a/plat/drivers/include/virtio/virtio_bus.h 
b/plat/drivers/include/virtio/virtio_bus.h
index bde9bbb..8dffe56 100644
--- a/plat/drivers/include/virtio/virtio_bus.h
+++ b/plat/drivers/include/virtio/virtio_bus.h
@@ -76,6 +76,27 @@ struct virtio_dev_id {
 };
 
 /**
+ * The structure define a list of configuration operation on a virtio device.
+ */
+struct virtio_config_ops {
+       /** Resetting the device */
+       void (*device_reset)(struct virtio_dev *vdev);
+       /** Set configuration option */
+       int (*config_set)(struct virtio_dev *vdev, __u16 offset,
+                         const void *buf, __u32 len);
+       /** Get configuration option */
+       int (*config_get)(struct virtio_dev *vdev, __u16 offset, void *buf,
+                         __u32 len, __u8 type_len);
+       /** Get the feature */
+       __u64 (*features_get)(struct virtio_dev *vdev);
+       /** Set the feature */
+       void (*features_set)(struct virtio_dev *vdev, __u64 features);
+       /** Get and Set Status */
+       __u8 (*status_get)(struct virtio_dev *vdev);
+       void (*status_set)(struct virtio_dev *vdev, __u8 status);
+};
+
+/**
  * The structure define the virtio driver.
  */
 struct virtio_driver {
@@ -99,6 +120,8 @@ struct virtio_dev {
        void *priv;
        /* Virtio device identifier */
        struct virtio_dev_id id;
+       /* List of the config operations */
+       struct virtio_config_ops *cops;
        /* Reference to the virtio driver for the device */
        struct virtio_driver *vdrv;
        /* Status of the device */
@@ -108,8 +131,110 @@ struct virtio_dev {
 /**
  * Operation exported by the virtio device.
  */
+int virtio_bus_register_device(struct virtio_dev *vdev);
 void _virtio_bus_register_driver(struct virtio_driver *vdrv);
 
+/**
+ * The function updates the status of the virtio device
+ * @param vdev
+ *      Reference to the virtio device.
+ * @param status
+ *      The status to update.
+ * @return
+ *      0 on successful updating the status.
+ *      -ENOTSUP, if the operation is not supported on the virtio device.
+ */
+static inline int virtio_dev_status_update(struct virtio_dev *vdev, __u8 
status)
+{
+       int rc = -ENOTSUP;
+
+       UK_ASSERT(vdev);
+
+       if (likely(vdev->cops->status_set)) {
+               vdev->cops->status_set(vdev, status);
+               rc = 0;
+       }
+       return rc;
+}
+
+/**
+ * The function to get the feature supported by the device.
+ * @param vdev
+ *     Reference to the virtio device.
+ *
+ * @return __u64
+ *     A bit map of the feature supported by the device.
+ */
+static inline __u64 virtio_feature_get(struct virtio_dev *vdev)
+{
+       __u64 features = 0;
+
+       UK_ASSERT(vdev);
+
+       if (likely(vdev->cops->features_get))
+               features = vdev->cops->features_get(vdev);
+       return features;
+}
+
+/**
+ * The function to set the negotiated features.
+ * @param vdev
+ *     Reference to the virtio device.
+ * @param feature
+ *     A bit map of the feature negotiated.
+ */
+static inline void virtio_feature_set(struct virtio_dev *vdev, __u32 feature)
+{
+       UK_ASSERT(vdev);
+
+       if (likely(vdev->cops->features_set))
+               vdev->cops->features_set(vdev, feature);
+}
+
+/**
+ * Get the configuration information from the virtio device.
+ * @param vdev
+ *     Reference to the virtio device.
+ * @param offset
+ *     Offset into the virtio device configuration space.
+ * @param buf
+ *     A buffer to store the configuration information.
+ * @param len
+ *     The length of the buffer.
+ * @param type_len
+ *     The data type of the configuration data.
+ * @return int
+ *     0, on successful reading the configuration space.
+ *     < 0, on error.
+ */
+static inline int virtio_config_get(struct virtio_dev *vdev, __u16 offset,
+                                   void *buf, __u32 len, __u8 type_len)
+{
+       int rc = -ENOTSUP;
+
+       UK_ASSERT(vdev);
+
+       if (likely(vdev->cops->config_get))
+               rc = vdev->cops->config_get(vdev, offset, buf, len, type_len);
+
+       return rc;
+}
+
+static inline int virtio_has_features(__u64 features, __u8 bpos)
+{
+       __u64 tmp_feature = 0;
+
+       VIRTIO_FEATURES_UPDATE(tmp_feature, bpos);
+       tmp_feature &= features;
+
+       return tmp_feature ? 1 : 0;
+}
+
+static inline void virtio_dev_drv_up(struct virtio_dev *vdev)
+{
+       virtio_dev_status_update(vdev, VIRTIO_CONFIG_STATUS_DRIVER_OK);
+}
+
 #define VIRTIO_BUS_REGISTER_DRIVER(b)                  \
        _VIRTIO_BUS_REGISTER_DRIVER(__LIBNAME__, b)
 
diff --git a/plat/drivers/virtio/virtio_bus.c b/plat/drivers/virtio/virtio_bus.c
index d008718..b40a270 100644
--- a/plat/drivers/virtio/virtio_bus.c
+++ b/plat/drivers/virtio/virtio_bus.c
@@ -52,9 +52,124 @@ static struct uk_alloc *a;
 /**
  *   Driver module local function(s).
  */
+static int virtio_device_reinit(struct virtio_dev *vdev);
+static struct virtio_driver *find_match_drv(struct virtio_dev *vdev);
 static int virtio_bus_init(struct uk_alloc *mem_alloc);
 static int virtio_bus_probe(void);
 
+static inline int virtio_device_id_match(const struct virtio_dev_id *id0,
+                                        const struct virtio_dev_id *id1)
+{
+       int rc = 0;
+
+       if (id0->virtio_device_id == id1->virtio_device_id)
+               rc = 1;
+
+       return rc;
+}
+
+/**
+ * Find a match driver
+ * @param vdev
+ *     Reference to the virtio device.
+ */
+static struct virtio_driver *find_match_drv(struct virtio_dev *vdev)
+{
+       int i = 0;
+       struct virtio_driver *drv = NULL;
+
+       UK_TAILQ_FOREACH(drv, &virtio_drvs, next) {
+               while (drv->dev_ids[i].virtio_device_id != VIRTIO_ID_INVALID) {
+                       if (virtio_device_id_match(&drv->dev_ids[i],
+                                                  &vdev->id)) {
+                               return drv;
+                       }
+               }
+       }
+       return NULL;
+}
+
+/**
+ * Reinitialize the virtio device
+ * @param vdev
+ *     Reference to the virtio device.
+ */
+static int virtio_device_reinit(struct virtio_dev *vdev)
+{
+       int rc = 0;
+
+       /**
+        * Resetting the virtio device
+        * This may not be necessary while initializing the device for the first
+        * time.
+        */
+       if (vdev->cops->device_reset) {
+               vdev->cops->device_reset(vdev);
+               /* Set the device status */
+               vdev->status = VIRTIO_DEV_RESET;
+       }
+       /* Acknowledge the virtio device */
+       rc = virtio_dev_status_update(vdev, VIRTIO_CONFIG_STATUS_ACK);
+       if (rc != 0) {
+               uk_pr_err("Failed to acknowledge the virtio device %p: %d\n",
+                         vdev, rc);
+               return rc;
+       }
+
+       /* Acknowledge the virtio driver */
+       rc = virtio_dev_status_update(vdev, VIRTIO_CONFIG_STATUS_DRIVER);
+       if (rc != 0) {
+               uk_pr_err("Failed to acknowledge the virtio driver %p: %d\n",
+                         vdev, rc);
+               return rc;
+       }
+       vdev->status = VIRTIO_DEV_INITIALIZED;
+       uk_pr_info("Virtio device %p initialized\n", vdev);
+       return rc;
+}
+
+int virtio_bus_register_device(struct virtio_dev *vdev)
+{
+       struct virtio_driver *drv = NULL;
+       int rc = 0;
+
+       UK_ASSERT(vdev);
+       /* Check for the dev with the driver list */
+       drv = find_match_drv(vdev);
+       if (!drv) {
+               uk_pr_err("Failed to find the driver for the virtio device %p 
(id:%"__PRIu16")\n",
+                         vdev, vdev->id.virtio_device_id);
+               return -EFAULT;
+       }
+       vdev->vdrv = drv;
+
+       /* Initialize the device */
+       rc = virtio_device_reinit(vdev);
+       if (rc != 0) {
+               uk_pr_err("Failed to initialize the virtio device %p 
(id:%"__PRIu16": %d\n",
+                         vdev, vdev->id.virtio_device_id, rc);
+               return rc;
+       }
+
+
+       /* Calling the driver add device */
+       rc = drv->add_dev(vdev);
+       if (rc != 0) {
+               uk_pr_err("Failed to add the virtio device %p: %d\n", vdev, rc);
+               goto virtio_dev_fail_set;
+       }
+exit:
+       return rc;
+
+virtio_dev_fail_set:
+       /**
+        * We set the status to fail. We can ignore the exit status from the
+        * status update.
+        */
+       virtio_dev_status_update(vdev, VIRTIO_CONFIG_STATUS_FAIL);
+       goto exit;
+}
+
 /**
  * Probe for the virtio device.
  */
diff --git a/plat/drivers/virtio/virtio_pci.c b/plat/drivers/virtio/virtio_pci.c
new file mode 100644
index 0000000..1c1d11c
--- /dev/null
+++ b/plat/drivers/virtio/virtio_pci.c
@@ -0,0 +1,313 @@
+/* SPDX-License-Identifier: BSD-3-Clause */
+/*
+ * Authors: Sharan Santhanam <sharan.santhanam@xxxxxxxxx>
+ *
+ * Copyright (c) 2018, NEC Europe Ltd., NEC Corporation. All rights reserved.
+ *
+ * Redistribution and use in source and binary forms, with or without
+ * modification, are permitted provided that the following conditions
+ * are met:
+ *
+ * 1. Redistributions of source code must retain the above copyright
+ *    notice, this list of conditions and the following disclaimer.
+ * 2. Redistributions in binary form must reproduce the above copyright
+ *    notice, this list of conditions and the following disclaimer in the
+ *    documentation and/or other materials provided with the distribution.
+ * 3. Neither the name of the copyright holder nor the names of its
+ *    contributors may be used to endorse or promote products derived from
+ *    this software without specific prior written permission.
+ *
+ * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS"
+ * AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
+ * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
+ * ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT HOLDER OR CONTRIBUTORS BE
+ * LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
+ * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
+ * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
+ * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
+ * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
+ * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
+ * POSSIBILITY OF SUCH DAMAGE.
+ *
+ * THIS HEADER MAY NOT BE EXTRACTED OR MODIFIED IN ANY WAY.
+ */
+
+#include <uk/config.h>
+#include <uk/arch/types.h>
+#include <errno.h>
+#include <uk/alloc.h>
+#include <uk/print.h>
+#include <uk/plat/lcpu.h>
+#include <uk/plat/irq.h>
+#include <pci/pci_bus.h>
+#include <virtio/virtio_config.h>
+#include <virtio/virtio_bus.h>
+#include <virtio/virtio_pci.h>
+
+#define VENDOR_QUMRANET_VIRTIO           (0x1AF4)
+#define VIRTIO_PCI_LEGACY_DEVICEID_START (0x0FFF)
+#define VIRTIO_PCI_MODERN_DEVICEID_START (0x1040)
+
+static struct uk_alloc *a;
+
+/**
+ * The structure declares a pci device.
+ */
+struct virtio_pci_dev {
+       /* Virtio Device */
+       struct virtio_dev vdev;
+       /* Pci base address */
+       __u16 pci_base_addr;
+       /* ISR Address Range */
+       __u16 pci_isr_addr;
+       /* Pci device information */
+       struct pci_device *pdev;
+};
+
+/**
+ * Fetch the virtio pci information from the virtiodev.
+ */
+#define to_virtiopcidev(vdev) \
+               __containerof(vdev, struct virtio_pci_dev, vdev)
+
+
+/**
+ * Static function declaration.
+ */
+static void vpci_legacy_pci_dev_reset(struct virtio_dev *vdev);
+static int vpci_legacy_pci_config_set(struct virtio_dev *vdev, __u16 offset,
+                                     const void *buf, __u32 len);
+static int vpci_legacy_pci_config_get(struct virtio_dev *vdev, __u16 offset,
+                                     void *buf, __u32 len, __u8 type_len);
+static __u64 vpci_legacy_pci_features_get(struct virtio_dev *vdev);
+static void vpci_legacy_pci_features_set(struct virtio_dev *vdev,
+                                        __u64 features);
+static void vpci_legacy_pci_status_set(struct virtio_dev *vdev, __u8 status);
+static __u8 vpci_legacy_pci_status_get(struct virtio_dev *vdev);
+static inline void virtio_device_id_add(struct virtio_dev *vdev,
+                                       __u16 pci_dev_id,
+                                       __u16 vpci_dev_id_start);
+static int virtio_pci_legacy_add_dev(struct pci_device *pci_dev,
+                                    struct virtio_pci_dev *vpci_dev);
+
+/**
+ * Configuration operations legacy PCI device.
+ */
+static struct virtio_config_ops vpci_legacy_ops = {
+       .device_reset = vpci_legacy_pci_dev_reset,
+       .config_get   = vpci_legacy_pci_config_get,
+       .config_set   = vpci_legacy_pci_config_set,
+       .features_get = vpci_legacy_pci_features_get,
+       .features_set = vpci_legacy_pci_features_set,
+       .status_get   = vpci_legacy_pci_status_get,
+       .status_set   = vpci_legacy_pci_status_set,
+};
+
+static int vpci_legacy_pci_config_set(struct virtio_dev *vdev, __u16 offset,
+                                     const void *buf, __u32 len)
+{
+       struct virtio_pci_dev *vpdev = NULL;
+
+       UK_ASSERT(vdev);
+       vpdev = to_virtiopcidev(vdev);
+
+       _virtio_cwrite_bytes((void *)(unsigned long)vpdev->pci_base_addr,
+                            VIRTIO_PCI_CONFIG_OFF + offset, buf, len, 1);
+
+       return 0;
+}
+
+static int vpci_legacy_pci_config_get(struct virtio_dev *vdev, __u16 offset,
+                                     void *buf, __u32 len, __u8 type_len)
+{
+       struct virtio_pci_dev *vpdev = NULL;
+       int rc = 0;
+
+       UK_ASSERT(vdev);
+       vpdev = to_virtiopcidev(vdev);
+
+       /* Reading an entity less than 4 bytes are atomic */
+       if (type_len == len && type_len <= 4) {
+               _virtio_cread_bytes(
+                               (void *) (unsigned long)vpdev->pci_base_addr,
+                               VIRTIO_PCI_CONFIG_OFF + offset, buf, len,
+                               type_len);
+       } else {
+               rc = virtio_cread_bytes_many(
+                               (void *) (unsigned long)vpdev->pci_base_addr,
+                               VIRTIO_PCI_CONFIG_OFF + offset, buf, len);
+       }
+       return rc;
+}
+
+static __u8 vpci_legacy_pci_status_get(struct virtio_dev *vdev)
+{
+       struct virtio_pci_dev *vpdev = NULL;
+
+       UK_ASSERT(vdev);
+       vpdev = to_virtiopcidev(vdev);
+       return virtio_cread8((void *) (unsigned long) vpdev->pci_base_addr,
+                            VIRTIO_PCI_STATUS);
+}
+
+static void vpci_legacy_pci_status_set(struct virtio_dev *vdev, __u8 status)
+{
+       struct virtio_pci_dev *vpdev = NULL;
+       __u8 curr_status = 0;
+
+       /* Reset should be performed using the reset interface */
+       UK_ASSERT(vdev || status != VIRTIO_CONFIG_STATUS_RESET);
+
+       vpdev = to_virtiopcidev(vdev);
+       curr_status = vpci_legacy_pci_status_get(vdev);
+       status |= curr_status;
+       virtio_cwrite8((void *)(unsigned long) vpdev->pci_base_addr,
+                      VIRTIO_PCI_STATUS, status);
+}
+
+static void vpci_legacy_pci_dev_reset(struct virtio_dev *vdev)
+{
+       struct virtio_pci_dev *vpdev = NULL;
+       __u8 status;
+
+       UK_ASSERT(vdev);
+
+       vpdev = to_virtiopcidev(vdev);
+       /**
+        * Resetting the device.
+        */
+       virtio_cwrite8((void *) (unsigned long)vpdev->pci_base_addr,
+                      VIRTIO_PCI_STATUS, VIRTIO_CONFIG_STATUS_RESET);
+       /**
+        * Waiting for the resetting the device. Find a better way
+        * of doing this instead of repeating register read.
+        *
+        * NOTE! Spec (4.1.4.3.2)
+        * Need to check if we have to wait for the reset to happen.
+        */
+       do {
+               status = virtio_cread8(
+                               (void *)(unsigned long)vpdev->pci_base_addr,
+                               VIRTIO_PCI_STATUS);
+       } while (status != VIRTIO_CONFIG_STATUS_RESET);
+}
+
+static __u64 vpci_legacy_pci_features_get(struct virtio_dev *vdev)
+{
+       struct virtio_pci_dev *vpdev = NULL;
+       __u64  features;
+
+       UK_ASSERT(vdev);
+
+       vpdev = to_virtiopcidev(vdev);
+       features = virtio_cread32((void *) (unsigned long)vpdev->pci_base_addr,
+                                 VIRTIO_PCI_HOST_FEATURES);
+       return features;
+}
+
+static void vpci_legacy_pci_features_set(struct virtio_dev *vdev,
+                                        __u64 features)
+{
+       struct virtio_pci_dev *vpdev = NULL;
+
+       UK_ASSERT(vdev);
+       vpdev = to_virtiopcidev(vdev);
+       virtio_cwrite32((void *) (unsigned long)vpdev->pci_base_addr,
+                       VIRTIO_PCI_GUEST_FEATURES, (__u32)features);
+}
+
+static inline void virtio_device_id_add(struct virtio_dev *vdev,
+                                       __u16 pci_dev_id,
+                                       __u16 pci_dev_id_start)
+{
+       vdev->id.virtio_device_id = (pci_dev_id - pci_dev_id_start);
+}
+
+static int virtio_pci_legacy_add_dev(struct pci_device *pci_dev,
+                                    struct virtio_pci_dev *vpci_dev)
+{
+       /* Check the valid range of the virtio legacy device */
+       if (pci_dev->id.device_id < 0x1000 || pci_dev->id.device_id > 0x103f) {
+               uk_pr_err("Invalid Virtio Devices %04x\n",
+                         pci_dev->id.device_id);
+               return -EINVAL;
+       }
+
+       vpci_dev->pci_isr_addr = vpci_dev->pci_base_addr + VIRTIO_PCI_ISR;
+
+       /* Setting the configuration operation */
+       vpci_dev->vdev.cops = &vpci_legacy_ops;
+
+       uk_pr_info("Added virtio-pci device %04x\n",
+                  pci_dev->id.device_id);
+
+       /* Mapping the virtio device identifier */
+       virtio_device_id_add(&vpci_dev->vdev, pci_dev->id.device_id,
+                       VIRTIO_PCI_LEGACY_DEVICEID_START);
+       return 0;
+}
+
+
+static int virtio_pci_add_dev(struct pci_device *pci_dev)
+{
+       struct virtio_pci_dev *vpci_dev = NULL;
+       int rc = 0;
+
+       UK_ASSERT(pci_dev != NULL);
+
+       vpci_dev = uk_malloc(a, sizeof(*vpci_dev));
+       if (!vpci_dev) {
+               uk_pr_err("Failed to allocate virtio-pci device\n");
+               return -ENOMEM;
+       }
+
+       /* Fetch PCI Device information */
+       vpci_dev->pdev = pci_dev;
+       vpci_dev->pci_base_addr = pci_dev->base;
+
+       /**
+        * Probing for the legacy virtio device. We separate the legacy probing
+        * with the possibility of supporting the modern PCI device in the
+        * future.
+        */
+       rc = virtio_pci_legacy_add_dev(pci_dev, vpci_dev);
+       if (rc != 0) {
+               uk_pr_err("Failed to probe (legacy) pci device: %d\n", rc);
+               goto free_pci_dev;
+       }
+
+       rc = virtio_bus_register_device(&vpci_dev->vdev);
+       if (rc != 0) {
+               uk_pr_err("Failed to register the virtio device: %d\n", rc);
+               goto free_pci_dev;
+       }
+
+exit:
+       return rc;
+free_pci_dev:
+       uk_free(a, vpci_dev);
+       goto exit;
+}
+
+static int virtio_pci_drv_init(struct uk_alloc *drv_allocator)
+{
+       /* driver initialization */
+       if (!drv_allocator)
+               return -EINVAL;
+
+       a = drv_allocator;
+       return 0;
+}
+
+static const struct pci_device_id virtio_pci_ids[] = {
+       {PCI_DEVICE_ID(VENDOR_QUMRANET_VIRTIO, PCI_ANY_ID)},
+       /* End of Driver List */
+       {PCI_ANY_DEVICE_ID},
+};
+
+static struct pci_driver virtio_pci_drv = {
+       .device_ids = virtio_pci_ids,
+       .init = virtio_pci_drv_init,
+       .add_dev = virtio_pci_add_dev
+};
+PCI_REGISTER_DRIVER(&virtio_pci_drv);
diff --git a/plat/kvm/Config.uk b/plat/kvm/Config.uk
index 156c41e..afcedc0 100644
--- a/plat/kvm/Config.uk
+++ b/plat/kvm/Config.uk
@@ -61,4 +61,14 @@ config VIRTIO_BUS
                Virtio bus driver for probing and operating virtio device and
                transport layer.
 
+menu "Virtio"
+config VIRTIO_PCI
+       bool "Virtio PCI device support"
+       default n
+       depends on KVM_PCI
+       select VIRTIO_BUS
+       help
+               Support virtio devices on PCI bus
+
+endmenu
 endif
diff --git a/plat/kvm/Makefile.uk b/plat/kvm/Makefile.uk
index 80a0c05..986bf4a 100644
--- a/plat/kvm/Makefile.uk
+++ b/plat/kvm/Makefile.uk
@@ -91,4 +91,6 @@ LIBKVMVIRTIO_CINCLUDES-y    += 
-I$(UK_PLAT_COMMON_BASE)/include
 LIBKVMVIRTIO_ASINCLUDES-y   += -I$(UK_PLAT_DRIVERS_BASE)/include
 LIBKVMVIRTIO_CINCLUDES-y    += -I$(UK_PLAT_DRIVERS_BASE)/include
 LIBKVMVIRTIO_SRCS-$(CONFIG_VIRTIO_BUS) +=\
-               $(UK_PLAT_DRIVERS_BASE)/virtio/virtio_bus.c
+                                                       
$(UK_PLAT_DRIVERS_BASE)/virtio/virtio_bus.c
+LIBKVMVIRTIO_SRCS-$(CONFIG_VIRTIO_PCI) +=\
+                                                       
$(UK_PLAT_DRIVERS_BASE)/virtio/virtio_pci.c
-- 
2.7.4


_______________________________________________
Minios-devel mailing list
Minios-devel@xxxxxxxxxxxxxxxxxxxx
https://lists.xenproject.org/mailman/listinfo/minios-devel

 


Rackspace

Lists.xenproject.org is hosted with RackSpace, monitoring our
servers 24x7x365 and backed by RackSpace's Fanatical Support®.