linux/drivers/xen/platform-pci.c

// SPDX-License-Identifier: GPL-2.0-only
/******************************************************************************
 * platform-pci.c
 *
 * Xen platform PCI device driver
 *
 * Authors: [email protected] and [email protected]
 *
 * Copyright (c) 2005, Intel Corporation.
 * Copyright (c) 2007, XenSource Inc.
 * Copyright (c) 2010, Citrix
 */


#include <linux/interrupt.h>
#include <linux/io.h>
#include <linux/init.h>
#include <linux/pci.h>

#include <xen/platform_pci.h>
#include <xen/grant_table.h>
#include <xen/xenbus.h>
#include <xen/events.h>
#include <xen/hvm.h>
#include <xen/xen-ops.h>

#define DRV_NAME …

static unsigned long platform_mmio;
static unsigned long platform_mmio_alloc;
static unsigned long platform_mmiolen;
static uint64_t callback_via;

static unsigned long alloc_xen_mmio(unsigned long len)
{ … }

static uint64_t get_callback_via(struct pci_dev *pdev)
{ … }

static irqreturn_t do_hvm_evtchn_intr(int irq, void *dev_id)
{ … }

static int xen_allocate_irq(struct pci_dev *pdev)
{ … }

static int platform_pci_resume(struct device *dev)
{ … }

static int platform_pci_probe(struct pci_dev *pdev,
			      const struct pci_device_id *ent)
{ … }

static const struct pci_device_id platform_pci_tbl[] = …;

static const struct dev_pm_ops platform_pm_ops = …;

static struct pci_driver platform_driver = …;

builtin_pci_driver(…) …;