evbmips_iointr
evbmips_iointr(ipl, pending, &cf);
void evbmips_iointr(int, uint32_t, struct clockframe *);