linux-imx

/*

 * Virtio memory mapped device driver

 *

 * Copyright 2011-2014, ARM Ltd.

 *

 * This module allows virtio devices to be used over a virtual, memory mapped

 * platform device.

 *

 * The guest device(s) may be instantiated in one of three equivalent ways:

 *

 * 1. Static platform device in board's code, eg.:

 *

 *  static struct platform_device v2m_virtio_device = {

 *      .name = "virtio-mmio",

 *      .id = -1,

 *      .num_resources = 2,

 *      .resource = (struct resource []) {

 *          {

 *              .start = 0x1001e000,

 *              .end = 0x1001e0ff,

 *              .flags = IORESOURCE_MEM,

 *          }, {

 *              .start = 42 + 32,

 *              .end = 42 + 32,

 *              .flags = IORESOURCE_IRQ,

 *          },

 *      }

 *  };

 *

 * 2. Device Tree node, eg.:

 *

 *      virtio_block@1e000 {

 *          compatible = "virtio,mmio";

 *          reg = <0x1e000 0x100>;

 *          interrupts = <42>;

 *      }

 *

 * 3. Kernel module (or command line) parameter. Can be used more than once -

 *    one device will be created for each one. Syntax:

 *

 *      [virtio_mmio.]device=<size>@<baseaddr>:<irq>[:<id>]

 *    where:

 *      <size>     := size (can use standard suffixes like K, M or G)

 *      <baseaddr> := physical base address

 *      <irq>      := interrupt number (as passed to request_irq())

 *      <id>       := (optional) platform device id

 *    eg.:

 *      virtio_mmio.device=0x100@0x100b0000:48 \

 *              virtio_mmio.device=1K@0x1001e000:74

 *

 *

 *

 * Based on Virtio PCI driver by Anthony Liguori, copyright IBM Corp. 2007

 *

 * This work is licensed under the terms of the GNU GPL, version 2 or later.

 * See the COPYING file in the top-level directory.

 */

​

#define pr_fmt(fmt) "virtio-mmio: " fmt

​

#include <linux/acpi.h>

#include <linux/dma-mapping.h>

#include <linux/highmem.h>