Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/C/Linux/drivers/vfio/cdx/   (Open Source Betriebssystem Version 6.17.9©)  Datei vom 24.10.2025 mit Größe 4 kB image not shown  

Quelle  intr.c   Sprache: C

 
// SPDX-License-Identifier: GPL-2.0
/*
 * Copyright (C) 2022-2023, Advanced Micro Devices, Inc.
 */


#include <linux/vfio.h>
#include <linux/slab.h>
#include <linux/types.h>
#include <linux/eventfd.h>
#include <linux/msi.h>
#include <linux/interrupt.h>

#include "linux/cdx/cdx_bus.h"
#include "private.h"

static irqreturn_t vfio_cdx_msihandler(int irq_no, void *arg)
{
 struct eventfd_ctx *trigger = arg;

 eventfd_signal(trigger);
 return IRQ_HANDLED;
}

static int vfio_cdx_msi_enable(struct vfio_cdx_device *vdev, int nvec)
{
 struct cdx_device *cdx_dev = to_cdx_device(vdev->vdev.dev);
 struct device *dev = vdev->vdev.dev;
 int msi_idx, ret;

 vdev->cdx_irqs = kcalloc(nvec, sizeof(struct vfio_cdx_irq), GFP_KERNEL);
 if (!vdev->cdx_irqs)
  return -ENOMEM;

 ret = cdx_enable_msi(cdx_dev);
 if (ret) {
  kfree(vdev->cdx_irqs);
  return ret;
 }

 /* Allocate cdx MSIs */
 ret = msi_domain_alloc_irqs(dev, MSI_DEFAULT_DOMAIN, nvec);
 if (ret) {
  cdx_disable_msi(cdx_dev);
  kfree(vdev->cdx_irqs);
  return ret;
 }

 for (msi_idx = 0; msi_idx < nvec; msi_idx++)
  vdev->cdx_irqs[msi_idx].irq_no = msi_get_virq(dev, msi_idx);

 vdev->msi_count = nvec;
 vdev->config_msi = 1;

 return 0;
}

static int vfio_cdx_msi_set_vector_signal(struct vfio_cdx_device *vdev,
       int vector, int fd)
{
 struct eventfd_ctx *trigger;
 int irq_no, ret;

 if (vector < 0 || vector >= vdev->msi_count)
  return -EINVAL;

 irq_no = vdev->cdx_irqs[vector].irq_no;

 if (vdev->cdx_irqs[vector].trigger) {
  free_irq(irq_no, vdev->cdx_irqs[vector].trigger);
  kfree(vdev->cdx_irqs[vector].name);
  eventfd_ctx_put(vdev->cdx_irqs[vector].trigger);
  vdev->cdx_irqs[vector].trigger = NULL;
 }

 if (fd < 0)
  return 0;

 vdev->cdx_irqs[vector].name = kasprintf(GFP_KERNEL, "vfio-msi[%d](%s)",
      vector, dev_name(vdev->vdev.dev));
 if (!vdev->cdx_irqs[vector].name)
  return -ENOMEM;

 trigger = eventfd_ctx_fdget(fd);
 if (IS_ERR(trigger)) {
  kfree(vdev->cdx_irqs[vector].name);
  return PTR_ERR(trigger);
 }

 ret = request_irq(irq_no, vfio_cdx_msihandler, 0,
     vdev->cdx_irqs[vector].name, trigger);
 if (ret) {
  kfree(vdev->cdx_irqs[vector].name);
  eventfd_ctx_put(trigger);
  return ret;
 }

 vdev->cdx_irqs[vector].trigger = trigger;

 return 0;
}

static int vfio_cdx_msi_set_block(struct vfio_cdx_device *vdev,
      unsigned int start, unsigned int count,
      int32_t *fds)
{
 int i, j, ret = 0;

 if (start >= vdev->msi_count || start + count > vdev->msi_count)
  return -EINVAL;

 for (i = 0, j = start; i < count && !ret; i++, j++) {
  int fd = fds ? fds[i] : -1;

  ret = vfio_cdx_msi_set_vector_signal(vdev, j, fd);
 }

 if (ret) {
  for (--j; j >= (int)start; j--)
   vfio_cdx_msi_set_vector_signal(vdev, j, -1);
 }

 return ret;
}

static void vfio_cdx_msi_disable(struct vfio_cdx_device *vdev)
{
 struct cdx_device *cdx_dev = to_cdx_device(vdev->vdev.dev);
 struct device *dev = vdev->vdev.dev;

 vfio_cdx_msi_set_block(vdev, 0, vdev->msi_count, NULL);

 if (!vdev->config_msi)
  return;

 msi_domain_free_irqs_all(dev, MSI_DEFAULT_DOMAIN);
 cdx_disable_msi(cdx_dev);
 kfree(vdev->cdx_irqs);

 vdev->cdx_irqs = NULL;
 vdev->msi_count = 0;
 vdev->config_msi = 0;
}

static int vfio_cdx_set_msi_trigger(struct vfio_cdx_device *vdev,
        unsigned int index, unsigned int start,
        unsigned int count, u32 flags,
        void *data)
{
 struct cdx_device *cdx_dev = to_cdx_device(vdev->vdev.dev);
 int i;

 if (start + count > cdx_dev->num_msi)
  return -EINVAL;

 if (!count && (flags & VFIO_IRQ_SET_DATA_NONE)) {
  vfio_cdx_msi_disable(vdev);
  return 0;
 }

 if (flags & VFIO_IRQ_SET_DATA_EVENTFD) {
  s32 *fds = data;
  int ret;

  if (vdev->config_msi)
   return vfio_cdx_msi_set_block(vdev, start, count,
        fds);
  ret = vfio_cdx_msi_enable(vdev, cdx_dev->num_msi);
  if (ret)
   return ret;

  ret = vfio_cdx_msi_set_block(vdev, start, count, fds);
  if (ret)
   vfio_cdx_msi_disable(vdev);

  return ret;
 }

 for (i = start; i < start + count; i++) {
  if (!vdev->cdx_irqs[i].trigger)
   continue;
  if (flags & VFIO_IRQ_SET_DATA_NONE) {
   eventfd_signal(vdev->cdx_irqs[i].trigger);
  } else if (flags & VFIO_IRQ_SET_DATA_BOOL) {
   u8 *bools = data;

   if (bools[i - start])
    eventfd_signal(vdev->cdx_irqs[i].trigger);
  }
 }

 return 0;
}

int vfio_cdx_set_irqs_ioctl(struct vfio_cdx_device *vdev,
       u32 flags, unsigned int index,
       unsigned int start, unsigned int count,
       void *data)
{
 if (flags & VFIO_IRQ_SET_ACTION_TRIGGER)
  return vfio_cdx_set_msi_trigger(vdev, index, start,
     count, flags, data);
 else
  return -EINVAL;
}

/* Free All IRQs for the given device */
void vfio_cdx_irqs_cleanup(struct vfio_cdx_device *vdev)
{
 /*
 * Device does not support any interrupt or the interrupts
 * were not configured
 */

 if (!vdev->cdx_irqs)
  return;

 vfio_cdx_set_msi_trigger(vdev, 0, 0, 0, VFIO_IRQ_SET_DATA_NONE, NULL);
}

Messung V0.5
C=98 H=94 G=95

¤ Dauer der Verarbeitung: 0.10 Sekunden  (vorverarbeitet)  ¤

*© Formatika GbR, Deutschland






Wurzel

Suchen

Beweissystem der NASA

Beweissystem Isabelle

NIST Cobol Testsuite

Cephes Mathematical Library

Wiener Entwicklungsmethode

Haftungshinweis

Die Informationen auf dieser Webseite wurden nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit, noch Qualität der bereit gestellten Informationen zugesichert.

Bemerkung:

Die farbliche Syntaxdarstellung und die Messung sind noch experimentell.