sys/platform/pc32/i386/nexus.c

   1 /*
   2  * Copyright 1998 Massachusetts Institute of Technology
   3  *
   4  * Permission to use, copy, modify, and distribute this software and
   5  * its documentation for any purpose and without fee is hereby
   6  * granted, provided that both the above copyright notice and this
   7  * permission notice appear in all copies, that both the above
   8  * copyright notice and this permission notice appear in all
   9  * supporting documentation, and that the name of M.I.T. not be used
  10  * in advertising or publicity pertaining to distribution of the
  11  * software without specific, written prior permission.  M.I.T. makes
  12  * no representations about the suitability of this software for any
  13  * purpose.  It is provided "as is" without express or implied
  14  * warranty.
  15  *
  16  * THIS SOFTWARE IS PROVIDED BY M.I.T. ``AS IS''.  M.I.T. DISCLAIMS
  17  * ALL EXPRESS OR IMPLIED WARRANTIES WITH REGARD TO THIS SOFTWARE,
  18  * INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES OF
  19  * MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE. IN NO EVENT
  20  * SHALL M.I.T. BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
  21  * SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
  22  * LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF
  23  * USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND
  24  * ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY,
  25  * OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT
  26  * OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
  27  * SUCH DAMAGE.
  28  *
  29  * $FreeBSD: src/sys/i386/i386/nexus.c,v 1.26.2.10 2003/02/22 13:16:45 imp Exp $
  30  */
  31
  32 /*
  33  * This code implements a `root nexus' for Intel Architecture
  34  * machines.  The function of the root nexus is to serve as an
  35  * attachment point for both processors and buses, and to manage
  36  * resources which are common to all of them.  In particular,
  37  * this code implements the core resource managers for interrupt
  38  * requests, DMA requests (which rightfully should be a part of the
  39  * ISA code but it's easier to do it here for now), I/O port addresses,
  40  * and I/O memory address space.
  41  */
  42
  43 #include <sys/param.h>
  44 #include <sys/systm.h>
  45 #include <sys/bus.h>
  46 #include <sys/kernel.h>
  47 #include <sys/malloc.h>
  48 #include <sys/module.h>
  49 #include <sys/rman.h>
  50 #include <sys/interrupt.h>
  51 #include <sys/machintr.h>
  52
  53 #include <machine/vmparam.h>
  54 #include <vm/vm.h>
  55 #include <vm/pmap.h>
  56 #include <machine/pmap.h>
  57
  58 #include <machine/nexusvar.h>
  59 #include <machine/smp.h>
  60 #include <machine/intr_machdep.h>
  61 #include <machine_base/apic/ioapic.h>
  62 #include <machine_base/apic/lapic.h>
  63
  64 #include <bus/pci/pcivar.h>
  65 #include <bus/pci/pcireg.h>
  66 #include <bus/pci/pcibus.h>
  67 #include <bus/pci/pci_cfgreg.h>
  68 #include <bus/pci/pcib_private.h>
  69
  70 #include "pcib_if.h"
  71
  72 static MALLOC_DEFINE(M_NEXUSDEV, "nexusdev", "Nexus device");
  73 struct nexus_device {
  74         struct resource_list    nx_resources;
  75         int                     nx_pcibus;
  76 };
  77
  78 #define DEVTONX(dev)    ((struct nexus_device *)device_get_ivars(dev))
  79
  80 static struct rman irq_rman[MAXCPU], drq_rman, port_rman, mem_rman;
  81
  82 static  int nexus_probe(device_t);
  83 static  int nexus_attach(device_t);
  84 static  int nexus_print_all_resources(device_t dev);
  85 static  int nexus_print_child(device_t, device_t);
  86 static device_t nexus_add_child(device_t bus, device_t parent, int order,
  87                                 const char *name, int unit);
  88 static  struct resource *nexus_alloc_resource(device_t, device_t, int, int *,
  89     u_long, u_long, u_long, u_int, int);
  90 static  int nexus_read_ivar(device_t, device_t, int, uintptr_t *);
  91 static  int nexus_write_ivar(device_t, device_t, int, uintptr_t);
  92 static  int nexus_activate_resource(device_t, device_t, int, int,
  93                                     struct resource *);
  94 static  int nexus_deactivate_resource(device_t, device_t, int, int,
  95                                       struct resource *);
  96 static  int nexus_release_resource(device_t, device_t, int, int,
  97                                    struct resource *);
  98 static  int nexus_config_intr(device_t, device_t, int, enum intr_trigger,
  99                               enum intr_polarity);
 100 static  int nexus_setup_intr(device_t, device_t, struct resource *, int flags,
 101                 void (*)(void *), void *, void **, lwkt_serialize_t,
 102                 const char *);
 103 static  int nexus_teardown_intr(device_t, device_t, struct resource *,
 104                                 void *);
 105 static  int nexus_set_resource(device_t, device_t, int, int, u_long, u_long,
 106                                int);
 107 static  int nexus_get_resource(device_t, device_t, int, int, u_long *, u_long *);
 108 static void nexus_delete_resource(device_t, device_t, int, int);
 109
 110 static  int nexus_alloc_msi(device_t, device_t, int, int, int *, int);
 111 static  int nexus_release_msi(device_t, device_t, int, int *, int);
 112 static  int nexus_map_msi(device_t, device_t, int, uint64_t *, uint32_t *, int);
 113 static  int nexus_alloc_msix(device_t, device_t, int *, int);
 114 static  int nexus_release_msix(device_t, device_t, int, int);
 115
 116 /*
 117  * The device_identify method will cause nexus to automatically associate
 118  * and attach to the root bus.
 119  */
 120 static device_method_t nexus_methods[] = {
 121         /* Device interface */
 122         DEVMETHOD(device_identify,      bus_generic_identify),
 123         DEVMETHOD(device_probe,         nexus_probe),
 124         DEVMETHOD(device_attach,        nexus_attach),
 125         DEVMETHOD(device_detach,        bus_generic_detach),
 126         DEVMETHOD(device_shutdown,      bus_generic_shutdown),
 127         DEVMETHOD(device_suspend,       bus_generic_suspend),
 128         DEVMETHOD(device_resume,        bus_generic_resume),
 129
 130         /* Bus interface */
 131         DEVMETHOD(bus_print_child,      nexus_print_child),
 132         DEVMETHOD(bus_add_child,        nexus_add_child),
 133         DEVMETHOD(bus_read_ivar,        nexus_read_ivar),
 134         DEVMETHOD(bus_write_ivar,       nexus_write_ivar),
 135         DEVMETHOD(bus_alloc_resource,   nexus_alloc_resource),
 136         DEVMETHOD(bus_release_resource, nexus_release_resource),
 137         DEVMETHOD(bus_activate_resource, nexus_activate_resource),
 138         DEVMETHOD(bus_deactivate_resource, nexus_deactivate_resource),
 139         DEVMETHOD(bus_config_intr,      nexus_config_intr),
 140         DEVMETHOD(bus_setup_intr,       nexus_setup_intr),
 141         DEVMETHOD(bus_teardown_intr,    nexus_teardown_intr),
 142         DEVMETHOD(bus_set_resource,     nexus_set_resource),
 143         DEVMETHOD(bus_get_resource,     nexus_get_resource),
 144         DEVMETHOD(bus_delete_resource,  nexus_delete_resource),
 145
 146         DEVMETHOD(pcib_alloc_msi,       nexus_alloc_msi),
 147         DEVMETHOD(pcib_release_msi,     nexus_release_msi),
 148         DEVMETHOD(pcib_map_msi,         nexus_map_msi),
 149         DEVMETHOD(pcib_alloc_msix,      nexus_alloc_msix),
 150         DEVMETHOD(pcib_release_msix,    nexus_release_msix),
 151
 152         { 0, 0 }
 153 };
 154
 155 static driver_t nexus_driver = {
 156         "nexus",
 157         nexus_methods,
 158         1,                      /* no softc */
 159 };
 160 static devclass_t nexus_devclass;
 161
 162 DRIVER_MODULE(nexus, root, nexus_driver, nexus_devclass, NULL, NULL);
 163
 164 static int
 165 nexus_probe(device_t dev)
 166 {
 167         int cpuid;
 168
 169         device_quiet(dev);      /* suppress attach message for neatness */
 170
 171         for (cpuid = 0; cpuid < ncpus; ++cpuid) {
 172                 struct rman *rm = &irq_rman[cpuid];
 173
 174                 rm->rm_start = 0;
 175                 rm->rm_end = IDT_HWI_VECTORS - 1;
 176                 rm->rm_type = RMAN_ARRAY;
 177                 rm->rm_descr = "Interrupt request lines";
 178
 179                 if (rman_init(rm, cpuid))
 180                         panic("nexus_probe rman_init");
 181                 MachIntrABI.rman_setup(rm);
 182         }
 183
 184         /*
 185          * ISA DMA on PCI systems is implemented in the ISA part of each
 186          * PCI->ISA bridge and the channels can be duplicated if there are
 187          * multiple bridges.  (eg: laptops with docking stations)
 188          */
 189         drq_rman.rm_start = 0;
 190         drq_rman.rm_end = 7;
 191         drq_rman.rm_type = RMAN_ARRAY;
 192         drq_rman.rm_descr = "DMA request lines";
 193         /* XXX drq 0 not available on some machines */
 194         if (rman_init(&drq_rman, -1)
 195             || rman_manage_region(&drq_rman,
 196                                   drq_rman.rm_start, drq_rman.rm_end))
 197                 panic("nexus_probe drq_rman");
 198
 199         /*
 200          * However, IO ports and Memory truely are global at this level,
 201          * as are APIC interrupts (however many IO APICS there turn out
 202          * to be on large systems..)
 203          */
 204         port_rman.rm_start = 0;
 205         port_rman.rm_end = 0xffff;
 206         port_rman.rm_type = RMAN_ARRAY;
 207         port_rman.rm_descr = "I/O ports";
 208         if (rman_init(&port_rman, -1)
 209             || rman_manage_region(&port_rman, 0, 0xffff))
 210                 panic("nexus_probe port_rman");
 211
 212         mem_rman.rm_start = 0;
 213         mem_rman.rm_end = ~0u;
 214         mem_rman.rm_type = RMAN_ARRAY;
 215         mem_rman.rm_descr = "I/O memory addresses";
 216         if (rman_init(&mem_rman, -1)
 217             || rman_manage_region(&mem_rman, 0, ~0))
 218                 panic("nexus_probe mem_rman");
 219
 220         return bus_generic_probe(dev);
 221 }
 222
 223 static int
 224 nexus_attach(device_t dev)
 225 {
 226         device_t        child;
 227
 228         /*
 229          * First, let our child driver's identify any child devices that
 230          * they can find.  Once that is done attach any devices that we
 231          * found.
 232          */
 233 #if 0 /* FUTURE */
 234         bus_generic_probe(dev);
 235 #endif
 236         bus_generic_attach(dev);
 237
 238         /*
 239          * And if we didn't see ISA on a pci bridge, create a
 240          * connection point now so it shows up "on motherboard".
 241          */
 242         if (!devclass_get_device(devclass_find("isa"), 0)) {
 243                 child = BUS_ADD_CHILD(dev, dev, 0, "isa", 0);
 244                 if (child == NULL)
 245                         panic("nexus_attach isa");
 246                 device_probe_and_attach(child);
 247         }
 248
 249         return 0;
 250 }
 251
 252 static int
 253 nexus_print_all_resources(device_t dev)
 254 {
 255         struct  nexus_device *ndev = DEVTONX(dev);
 256         struct resource_list *rl = &ndev->nx_resources;
 257         int retval = 0;
 258
 259         if (SLIST_FIRST(rl) || ndev->nx_pcibus != -1)
 260                 retval += kprintf(" at");
 261
 262         retval += resource_list_print_type(rl, "port", SYS_RES_IOPORT, "%#lx");
 263         retval += resource_list_print_type(rl, "iomem", SYS_RES_MEMORY, "%#lx");
 264         retval += resource_list_print_type(rl, "irq", SYS_RES_IRQ, "%ld");
 265
 266         return retval;
 267 }
 268
 269 static int
 270 nexus_print_child(device_t bus, device_t child)
 271 {
 272         struct  nexus_device *ndev = DEVTONX(child);
 273         int retval = 0;
 274
 275         retval += bus_print_child_header(bus, child);
 276         retval += nexus_print_all_resources(child);
 277         if (ndev->nx_pcibus != -1)
 278                 retval += kprintf(" pcibus %d", ndev->nx_pcibus);
 279         retval += kprintf(" on motherboard\n");
 280
 281         return (retval);
 282 }
 283
 284 static device_t
 285 nexus_add_child(device_t bus, device_t parent, int order,
 286                 const char *name, int unit)
 287 {
 288         device_t                child;
 289         struct nexus_device     *ndev;
 290
 291         ndev = kmalloc(sizeof(struct nexus_device), M_NEXUSDEV, M_INTWAIT|M_ZERO);
 292         resource_list_init(&ndev->nx_resources);
 293         ndev->nx_pcibus = -1;
 294
 295         child = device_add_child_ordered(parent, order, name, unit);
 296
 297         /* should we free this in nexus_child_detached? */
 298         device_set_ivars(child, ndev);
 299
 300         return(child);
 301 }
 302
 303 static int
 304 nexus_read_ivar(device_t dev, device_t child, int which, uintptr_t *result)
 305 {
 306         struct nexus_device *ndev = DEVTONX(child);
 307
 308         switch (which) {
 309         case NEXUS_IVAR_PCIBUS:
 310                 *result = ndev->nx_pcibus;
 311                 break;
 312         default:
 313                 return ENOENT;
 314         }
 315         return 0;
 316 }
 317
 318 static int
 319 nexus_write_ivar(device_t dev, device_t child, int which, uintptr_t value)
 320 {
 321         struct nexus_device *ndev = DEVTONX(child);
 322
 323         switch (which) {
 324         case NEXUS_IVAR_PCIBUS:
 325                 ndev->nx_pcibus = value;
 326                 break;
 327         default:
 328                 return ENOENT;
 329         }
 330         return 0;
 331 }
 332
 333 /*
 334  * Allocate a resource on behalf of child.  NB: child is usually going to be a
 335  * child of one of our descendants, not a direct child of nexus0.
 336  * (Exceptions include npx.)
 337  */
 338 static struct resource *
 339 nexus_alloc_resource(device_t bus, device_t child, int type, int *rid,
 340     u_long start, u_long end, u_long count, u_int flags, int cpuid)
 341 {
 342         struct nexus_device *ndev = DEVTONX(child);
 343         struct  resource *rv;
 344         struct resource_list_entry *rle;
 345         struct  rman *rm;
 346         int needactivate = flags & RF_ACTIVE;
 347
 348         /*
 349          * If this is an allocation of the "default" range for a given RID, and
 350          * we know what the resources for this device are (ie. they aren't maintained
 351          * by a child bus), then work out the start/end values.
 352          */
 353         if ((start == 0UL) && (end == ~0UL) && (count == 1)) {
 354                 if (ndev == NULL)
 355                         return(NULL);
 356                 rle = resource_list_find(&ndev->nx_resources, type, *rid);
 357                 if (rle == NULL)
 358                         return(NULL);
 359                 start = rle->start;
 360                 end = rle->end;
 361                 count = rle->count;
 362                 cpuid = rle->cpuid;
 363         }
 364
 365         flags &= ~RF_ACTIVE;
 366
 367         switch (type) {
 368         case SYS_RES_IRQ:
 369                 KASSERT(cpuid >= 0 && cpuid < ncpus,
 370                     ("nexus invalid cpuid: %d", cpuid));
 371                 rm = &irq_rman[cpuid];
 372                 break;
 373
 374         case SYS_RES_DRQ:
 375                 rm = &drq_rman;
 376                 break;
 377
 378         case SYS_RES_IOPORT:
 379                 rm = &port_rman;
 380                 break;
 381
 382         case SYS_RES_MEMORY:
 383                 rm = &mem_rman;
 384                 break;
 385
 386         default:
 387                 return 0;
 388         }
 389
 390         rv = rman_reserve_resource(rm, start, end, count, flags, child);
 391         if (rv == NULL)
 392                 return 0;
 393         rman_set_rid(rv, *rid);
 394
 395         if (type == SYS_RES_MEMORY) {
 396                 rman_set_bustag(rv, I386_BUS_SPACE_MEM);
 397         } else if (type == SYS_RES_IOPORT) {
 398                 rman_set_bustag(rv, I386_BUS_SPACE_IO);
 399                 rman_set_bushandle(rv, rv->r_start);
 400         }
 401
 402         if (needactivate) {
 403                 if (bus_activate_resource(child, type, *rid, rv)) {
 404                         rman_release_resource(rv);
 405                         return 0;
 406                 }
 407         }
 408
 409         return rv;
 410 }
 411
 412 static int
 413 nexus_activate_resource(device_t bus, device_t child, int type, int rid,
 414                         struct resource *r)
 415 {
 416         /*
 417          * If this is a memory resource, map it into the kernel.
 418          */
 419         if (rman_get_bustag(r) == I386_BUS_SPACE_MEM) {
 420                 caddr_t vaddr = 0;
 421
 422                 if (rman_get_end(r) < 1024 * 1024) {
 423                         /*
 424                          * The first 1Mb is mapped at KERNBASE.
 425                          */
 426                         vaddr = (caddr_t)(uintptr_t)(KERNBASE + rman_get_start(r));
 427                 } else {
 428                         u_int32_t paddr;
 429                         u_int32_t psize;
 430                         u_int32_t poffs;
 431
 432                         paddr = rman_get_start(r);
 433                         psize = rman_get_size(r);
 434
 435                         poffs = paddr - trunc_page(paddr);
 436                         vaddr = (caddr_t) pmap_mapdev(paddr-poffs, psize+poffs) + poffs;
 437                 }
 438                 rman_set_virtual(r, vaddr);
 439                 /* IBM-PC: the type of bus_space_handle_t is u_int */
 440                 rman_set_bushandle(r, (bus_space_handle_t) vaddr);
 441         }
 442         return (rman_activate_resource(r));
 443 }
 444
 445 static int
 446 nexus_deactivate_resource(device_t bus, device_t child, int type, int rid,
 447                           struct resource *r)
 448 {
 449         /*
 450          * If this is a memory resource, unmap it.
 451          */
 452         if ((rman_get_bustag(r) == I386_BUS_SPACE_MEM) &&
 453             (rman_get_end(r) >= 1024 * 1024)) {
 454                 u_int32_t psize;
 455
 456                 psize = rman_get_size(r);
 457                 pmap_unmapdev((vm_offset_t)rman_get_virtual(r), psize);
 458         }
 459
 460         return (rman_deactivate_resource(r));
 461 }
 462
 463 static int
 464 nexus_release_resource(device_t bus, device_t child, int type, int rid,
 465                        struct resource *r)
 466 {
 467         if (rman_get_flags(r) & RF_ACTIVE) {
 468                 int error = bus_deactivate_resource(child, type, rid, r);
 469                 if (error)
 470                         return error;
 471         }
 472         return (rman_release_resource(r));
 473 }
 474
 475 static int
 476 nexus_config_intr(device_t bus, device_t chile, int irq,
 477     enum intr_trigger trig, enum intr_polarity pola)
 478 {
 479         machintr_legacy_intr_config(irq, trig, pola);
 480         return 0;
 481 }
 482
 483 /*
 484  * Currently this uses the really grody interface from kern/kern_intr.c
 485  * (which really doesn't belong in kern/anything.c).  Eventually, all of
 486  * the code in kern_intr.c and machdep_intr.c should get moved here, since
 487  * this is going to be the official interface.
 488  */
 489 static int
 490 nexus_setup_intr(device_t bus, device_t child, struct resource *irq,
 491     int flags, void (*ihand)(void *), void *arg, void **cookiep,
 492     lwkt_serialize_t serializer, const char *desc)
 493 {
 494         int     error, icflags;
 495
 496         /* somebody tried to setup an irq that failed to allocate! */
 497         if (irq == NULL)
 498                 panic("nexus_setup_intr: NULL irq resource!");
 499
 500         *cookiep = NULL;
 501         icflags = flags;
 502         if ((irq->r_flags & RF_SHAREABLE) == 0)
 503                 icflags |= INTR_EXCL;
 504
 505         /*
 506          * We depend here on rman_activate_resource() being idempotent.
 507          */
 508         error = rman_activate_resource(irq);
 509         if (error)
 510                 return (error);
 511
 512         /* Use device name, if description is not specified */
 513         if (desc == NULL)
 514                 desc = device_get_nameunit(child);
 515
 516         /*
 517          * XXX cast the interrupt handler function to an inthand2_t.  The
 518          * difference is that an additional frame argument is passed which
 519          * we do not currently want to expose the BUS subsystem to.
 520          */
 521         *cookiep = register_int(irq->r_start, (inthand2_t *)ihand, arg,
 522                                 desc, serializer, icflags, rman_get_cpuid(irq));
 523         if (*cookiep == NULL)
 524                 error = EINVAL;
 525         return (error);
 526 }
 527
 528 static int
 529 nexus_teardown_intr(device_t dev, device_t child, struct resource *r, void *ih)
 530 {
 531         if (ih) {
 532                 unregister_int(ih, rman_get_cpuid(r));
 533                 return (0);
 534         }
 535         return(-1);
 536 }
 537
 538 static int
 539 nexus_set_resource(device_t dev, device_t child, int type, int rid,
 540     u_long start, u_long count, int cpuid)
 541 {
 542         struct nexus_device     *ndev = DEVTONX(child);
 543         struct resource_list    *rl = &ndev->nx_resources;
 544
 545         /* XXX this should return a success/failure indicator */
 546         resource_list_add(rl, type, rid, start, start + count - 1, count,
 547             cpuid);
 548         return(0);
 549 }
 550
 551 static int
 552 nexus_get_resource(device_t dev, device_t child, int type, int rid, u_long *startp, u_long *countp)
 553 {
 554         struct nexus_device     *ndev = DEVTONX(child);
 555         struct resource_list    *rl = &ndev->nx_resources;
 556         struct resource_list_entry *rle;
 557
 558         rle = resource_list_find(rl, type, rid);
 559         device_printf(child, "type %d  rid %d  startp %p  countp %p - got %p\n",
 560                       type, rid, startp, countp, rle);
 561         if (!rle)
 562                 return(ENOENT);
 563         if (startp)
 564                 *startp = rle->start;
 565         if (countp)
 566                 *countp = rle->count;
 567         return(0);
 568 }
 569
 570 static void
 571 nexus_delete_resource(device_t dev, device_t child, int type, int rid)
 572 {
 573         struct nexus_device     *ndev = DEVTONX(child);
 574         struct resource_list    *rl = &ndev->nx_resources;
 575
 576         resource_list_delete(rl, type, rid);
 577 }
 578
 579 static int
 580 nexus_alloc_msi(device_t dev, device_t child, int count, int maxcount,
 581     int *irqs, int cpuid)
 582 {
 583         if (!lapic_enable)
 584                 return ENODEV;
 585
 586         return MachIntrABI.msi_alloc(irqs, count, cpuid);
 587 }
 588
 589 static int
 590 nexus_release_msi(device_t dev, device_t child, int count, int *irqs, int cpuid)
 591 {
 592         KKASSERT(lapic_enable);
 593         MachIntrABI.msi_release(irqs, count, cpuid);
 594         return 0;
 595 }
 596
 597 static int
 598 nexus_map_msi(device_t dev, device_t child, int irq, uint64_t *addr,
 599     uint32_t *data, int cpuid)
 600 {
 601         KKASSERT(lapic_enable);
 602         MachIntrABI.msi_map(irq, addr, data, cpuid);
 603         return 0;
 604 }
 605
 606 static int
 607 nexus_alloc_msix(device_t dev, device_t child, int *irq, int cpuid)
 608 {
 609         if (!lapic_enable)
 610                 return ENODEV;
 611
 612         return MachIntrABI.msix_alloc(irq, cpuid);
 613 }
 614
 615 static int
 616 nexus_release_msix(device_t dev, device_t child, int irq, int cpuid)
 617 {
 618         KKASSERT(lapic_enable);
 619         MachIntrABI.msix_release(irq, cpuid);
 620         return 0;
 621 }