jensenio_eisa_intr_string
ec->ec_intr_string = jensenio_eisa_intr_string;
static const char * jensenio_eisa_intr_string(void *, int, char *, size_t);