isa_intr_typename
enabled ? "enabled" : "disabled", isa_intr_typename(type));
extern char *isa_intr_typename(int); /* XXX headerify */
char *isa_intr_typename(int type);