algor_p4032_iointr
void algor_p4032_iointr(int, vaddr_t, uint32_t);
algor_iointr = algor_p4032_iointr;