VDB_INTR
DPRINTF(VDB_INTR, ("vpci_intr_map(): devino 0x%lx\n", devino));
DPRINTF(VDB_INTR, ("vpci_intr_map(): sysino 0x%lx\n", sysino));
DPRINTF(VDB_INTR, ("%s: ih %lx; level %d ino %#x\n", __func__, (u_long)ihandle, level, ino));
DPRINTF(VDB_INTR, ("%s: ih %lx; level %d ino %#x\n", __func__, (u_long)ihandle, level, ino));
DPRINTF(VDB_INTR, ("vpci_intr_establish(): sysino 0x%lx\n", sysino));
DPRINTF(VDB_INTR, ("%s() returning %p\n", __func__, ih));
DPRINTF(VDB_INTR, ("%s: ih %lx; level %d\n", __func__, (u_long)ih, level));
DPRINTF(VDB_INTR, ("%s: returning handle %p\n", __func__, cookie));