GDT_D_INTR
GDT_DPRINTF(GDT_D_INTR, ("gdt_intr(%p)\n", gdt));
GDT_DPRINTF(GDT_D_INTR, ("gdt_async_event(%p, %d)\n", gdt, service));
GDT_DPRINTF(GDT_D_INTR,
GDT_DPRINTF(GDT_D_INTR, ("gdt_pci_enable_intr(%p) ", gdt));
GDT_DPRINTF(GDT_D_INTR, ("gdt_mpr_intr(%p) ", gdt));