voyager_intr
voyager_intr, NULL, /* so we get the clock frame instead */
struct voyager_intr *ih;
struct voyager_intr *ih;
struct voyager_intr sc_intrs[32];
static int voyager_intr(void *);