2 * Copyright (c) 2014 Roger Pau Monné <roger.pau@citrix.com>
5 * Redistribution and use in source and binary forms, with or without
6 * modification, are permitted provided that the following conditions
8 * 1. Redistributions of source code must retain the above copyright
9 * notice, this list of conditions and the following disclaimer.
10 * 2. Redistributions in binary form must reproduce the above copyright
11 * notice, this list of conditions and the following disclaimer in the
12 * documentation and/or other materials provided with the distribution.
14 * THIS SOFTWARE IS PROVIDED BY THE AUTHOR AND CONTRIBUTORS AS IS'' AND
15 * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
16 * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
17 * ARE DISCLAIMED. IN NO EVENT SHALL THE AUTHOR OR CONTRIBUTORS BE LIABLE
18 * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
19 * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
20 * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
21 * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
22 * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
23 * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
27 #include <sys/cdefs.h>
28 __FBSDID("$FreeBSD$");
30 #include <sys/param.h>
32 #include <sys/kernel.h>
34 #include <sys/malloc.h>
35 #include <sys/mutex.h>
37 #include <sys/systm.h>
38 #include <x86/apicreg.h>
39 #include <machine/cputypes.h>
40 #include <machine/md_var.h>
41 #include <machine/frame.h>
42 #include <machine/intr_machdep.h>
43 #include <x86/apicvar.h>
44 #include <machine/specialreg.h>
45 #include <dev/pci/pcivar.h>
47 #include <xen/xen_intr.h>
48 #include <xen/xen_msi.h>
50 static struct mtx msi_lock;
51 static int msi_last_irq;
57 mtx_init(&msi_lock, "msi", NULL, MTX_DEF);
61 * Try to allocate 'count' interrupt sources with contiguous IDT values.
64 xen_msi_alloc(device_t dev, int count, int maxcount, int *irqs)
70 /* If we would exceed the max, give up. */
71 if ((msi_last_irq + count) > NUM_MSI_INTS) {
72 mtx_unlock(&msi_lock);
76 /* Allocate MSI vectors */
77 for (i = 0; i < count; i++)
78 irqs[i] = FIRST_MSI_INT + msi_last_irq++;
80 mtx_unlock(&msi_lock);
82 ret = xen_register_msi(dev, irqs[0], count);
86 for (i = 0; i < count; i++)
87 nexus_add_irq(irqs[i]);
93 xen_msi_release(int *irqs, int count)
97 for (i = 0; i < count; i++) {
98 ret = xen_release_msi(irqs[i]);
107 xen_msi_map(int irq, uint64_t *addr, uint32_t *data)
114 xen_msix_alloc(device_t dev, int *irq)
121 xen_msix_release(int irq)