via8231_get_intr
via8231_get_intr,
via8231_get_intr(v, clink, &pciirq);
int via8231_get_intr(pciintr_icu_handle_t, int, int *);