intr_typename
basename, num, intr_typename(type),
intr_typename(intr[num].intr_sharetype));
basename, num, intr_typename(type),
intr_typename(intr[num].intr_sharetype));
static const char *intr_typename(int);