irq_type
u_char irq_type[2]; /* IRQ Type */
mdb_printf("%-7s", irq_type(i, 0));
mdb_printf("%-14s", irq_type(irq, 1));
irq_type(i, 0), shared_tbl[i]);
mdb_printf("%-6s ", irq_type(i, 0));
mdb_printf("%-14s", irq_type(irq, 1));
skdev->irq_type = skd_isr_type;
skdev->irq_type = intr_type;
if (skdev->irq_type == 0) {
skdev->irq_type = 0;
itypes &= skdev->irq_type;
skdev->name, skdev->irq_type);
int irq_type;
pt_irq_type_t irq_type;