Re: [PATCH v2 rumpkernel] pci-userspace: Add acpi lookup of irqs with fallback

[Samuel Thibault]

Applied, thanks!

Damien Zammit, le mer. 18 janv. 2023 07:36:18 +0000, a ecrit:
> ---
>  debian/patches/acpi.diff | 78 ++++++++++++++++++++++++++++++++++++++++
>  debian/patches/series    |  1 +
>  2 files changed, 79 insertions(+)
>  create mode 100644 debian/patches/acpi.diff
> 
> diff --git a/debian/patches/acpi.diff b/debian/patches/acpi.diff
> new file mode 100644
> index 000000000..3ee6d2151
> --- /dev/null
> +++ b/debian/patches/acpi.diff
> @@ -0,0 +1,78 @@
> +--- a/pci-userspace/src-gnu/Makefile.inc
> ++++ b/pci-userspace/src-gnu/Makefile.inc
> +@@ -3,7 +3,7 @@
> + PCIDIR:=    ${.PARSEDIR}
> + .PATH:              ${PCIDIR}
> +
> +-RUMPCOMP_USER_SRCS= pci_user-gnu.c mach_debugUser.c
> ++RUMPCOMP_USER_SRCS= pci_user-gnu.c mach_debugUser.c acpiUser.c
> + RUMPCOMP_USER_CPPFLAGS+=-I${PCIDIR} -I${DESTDIR}/usr/include
> + RUMPCOMP_CPPFLAGS+= -I${PCIDIR} -I${DESTDIR}/usr/include
> + CPPFLAGS+=          -I${PCIDIR}
> +@@ -16,3 +16,11 @@
> +                     -user mach_debugUser.c \
> +                     -server /dev/null \
> +                     -header mach_debug_U.h
> ++
> ++acpiUser.c:
> ++    echo '#include <hurd/acpi.defs>' \
> ++            | ${CC} -E -x c - -o - \
> ++            | mig -cc cat - /dev/null -subrprefix __ \
> ++                    -user acpiUser.c \
> ++                    -server /dev/null \
> ++                    -header acpi_U.h
> +--- a/pci-userspace/src-gnu/pci_user-gnu.c
> ++++ b/pci-userspace/src-gnu/pci_user-gnu.c
> +@@ -67,6 +67,7 @@
> + #include <device/device.h>
> + #include <mach/gnumach.h>
> + #include "mach_debug_U.h"
> ++#include "acpi_U.h"
> + #include <mach/vm_param.h>
> + #include <mach.h>
> +
> +@@ -90,6 +91,7 @@
> + static mach_port_t master_host;
> + static mach_port_t master_device;
> + static device_t irq_dev;
> ++static device_t acpi_dev;
> +
> + #define PCI_CFG1_START 0xcf8
> + #define PCI_CFG1_END   0xcff
> +@@ -130,6 +132,12 @@
> +     if (device_open (master_device, D_READ, "irq", &irq_dev))
> +             err(2, "device_open irq");
> +
> ++    /* Optional */
> ++    if (device_open (master_device, D_READ, "acpi", &acpi_dev)) {
> ++            MACH_PRINT("device_open acpi failed... continue\n");
> ++            acpi_dev = MACH_PORT_NULL;
> ++    }
> ++
> +     pci_system_init ();
> +     struct pci_device_iterator *dev_iter;
> +     struct pci_device *pci_dev;
> +@@ -363,6 +371,7 @@
> + rumpcomp_pci_irq_map(unsigned bus, unsigned dev, unsigned fun,
> +     int intrline, unsigned cookie)
> + {
> ++    int ret;
> +     struct irq *irq;
> +     irq = malloc(sizeof(*irq));
> +     if (irq == NULL)
> +@@ -374,6 +383,15 @@
> +     irq->fun = fun;
> +     irq->intrline = intrline;
> +
> ++    /* We can do better by reading irq from acpi device, but with fallback 
> */
> ++    if (acpi_dev != MACH_PORT_NULL) {
> ++            ret = acpi_get_pci_irq (acpi_dev, bus, dev, fun, 
> &irq->intrline);
> ++            if (ret) {
> ++                    MACH_PRINT("acpi_get_pci_irq failed, continue with 
> intrline\n");
> ++                    irq->intrline = intrline;
> ++            }
> ++    }
> ++
> +     pthread_mutex_lock(&genericmtx);
> +     LIST_INSERT_HEAD(&irqs, irq, entries);
> +     pthread_mutex_unlock(&genericmtx);
> diff --git a/debian/patches/series b/debian/patches/series
> index 5654d3549..adbc5acb9 100644
> --- a/debian/patches/series
> +++ b/debian/patches/series
> @@ -14,3 +14,4 @@ pci-userspace-rump.diff
>  rumpuser-evcnt.diff
>  ps-comm.diff
>  idtype_t.diff
> +acpi.diff
> --
> 2.34.1
> 
> 
> 

-- 
Samuel
---
Pour une évaluation indépendante, transparente et rigoureuse !
Je soutiens la Commission d'Évaluation de l'Inria.