int2_mappable_intr
intrtab[7].ih_fun = int2_mappable_intr;
intrtab[11].ih_fun = int2_mappable_intr;
static int int2_mappable_intr(void *);