algor_p5064_intr_disestablish
void algor_p5064_intr_disestablish(void *);
algor_intr_disestablish = algor_p5064_intr_disestablish;
return (algor_p5064_intr_disestablish(cookie));
algor_p5064_intr_disestablish(ih);