tx39_intr_decode
void tx39_intr_decode(int, int *, int *);
tx39_intr_decode(line, &set, &bit);
tx39_intr_decode((int)arg, &set, &bit);