linux-imx

// SPDX-License-Identifier: GPL-2.0-only

/*

 * Copyright (C) 2012 Red Hat, Inc.  All rights reserved.

 *     Author: Alex Williamson <alex.williamson@redhat.com>

 *

 * Derived from original vfio:

 * Copyright 2010 Cisco Systems, Inc.  All rights reserved.

 * Author: Tom Lyon, pugs@cisco.com

 */

​

#define pr_fmt(fmt) KBUILD_MODNAME ": " fmt

#define dev_fmt pr_fmt

​

#include <linux/device.h>

#include <linux/eventfd.h>

#include <linux/file.h>

#include <linux/interrupt.h>

#include <linux/iommu.h>

#include <linux/module.h>

#include <linux/mutex.h>

#include <linux/notifier.h>

#include <linux/pci.h>

#include <linux/pm_runtime.h>

#include <linux/slab.h>

#include <linux/types.h>

#include <linux/uaccess.h>

#include <linux/vfio.h>

#include <linux/vgaarb.h>

#include <linux/nospec.h>

​

#include "vfio_pci_private.h"

​

#define DRIVER_VERSION  "0.2"

#define DRIVER_AUTHOR   "Alex Williamson <alex.williamson@redhat.com>"

#define DRIVER_DESC     "VFIO PCI - User Level meta-driver"

​

static char ids[1024] __initdata;

module_param_string(ids, ids, sizeof(ids), 0);

MODULE_PARM_DESC(ids, "Initial PCI IDs to add to the vfio driver, format is \"vendor:device[:subvendor[:subdevice[:class[:class_mask]]]]\" and multiple comma separated entries can be specified");

​

static bool nointxmask;

module_param_named(nointxmask, nointxmask, bool, S_IRUGO | S_IWUSR);

MODULE_PARM_DESC(nointxmask,

          "Disable support for PCI 2.3 style INTx masking.  If this resolves problems for specific devices, report lspci -vvvxxx to linux-pci@vger.kernel.org so the device can be fixed automatically via the broken_intx_masking flag.");

​

#ifdef CONFIG_VFIO_PCI_VGA

static bool disable_vga;

module_param(disable_vga, bool, S_IRUGO);

MODULE_PARM_DESC(disable_vga, "Disable VGA resource access through vfio-pci");

#endif

​

static bool disable_idle_d3;

module_param(disable_idle_d3, bool, S_IRUGO | S_IWUSR);

MODULE_PARM_DESC(disable_idle_d3,

         "Disable using the PCI D3 low power state for idle, unused devices");

​

static inline bool vfio_vga_disabled(void)

{

#ifdef CONFIG_VFIO_PCI_VGA

    return disable_vga;

#else

    return true;

#endif