intr_typename
basename, num, intr_typename(type),
intr_typename(intr[num].intr_sharetype));
basename, num, intr_typename(type),
intr_typename(intr[num].intr_sharetype));
intr_typename(int);
const char *intr_typename(int);
intr_typename(int);
printf(" irq %d %s\n", irq, intr_typename(itype));
intr_typename(int);
intr_typename(int);
intr_typename(is->is_type),
intr_typename(type));
const char *intr_typename(int);