-/* first icu */
- setidt(32, &IDTVEC(intr0), SDT_SYS386IGT, SEL_KPL);
- setidt(33, &IDTVEC(intr1), SDT_SYS386IGT, SEL_KPL);
- setidt(34, &IDTVEC(intr9), SDT_SYS386IGT, SEL_KPL); /* note: never happens */
- setidt(35, &IDTVEC(intr3), SDT_SYS386IGT, SEL_KPL);
- setidt(36, &IDTVEC(intr4), SDT_SYS386IGT, SEL_KPL);
- setidt(37, &IDTVEC(intr5), SDT_SYS386IGT, SEL_KPL);
- setidt(38, &IDTVEC(intr6), SDT_SYS386IGT, SEL_KPL);
- setidt(39, &IDTVEC(intr7), SDT_SYS386IGT, SEL_KPL);
-
-/* second icu */
- setidt(40, &IDTVEC(intr8), SDT_SYS386IGT, SEL_KPL);
- setidt(41, &IDTVEC(intr9), SDT_SYS386IGT, SEL_KPL);
- setidt(42, &IDTVEC(intr10), SDT_SYS386IGT, SEL_KPL);
- setidt(43, &IDTVEC(intr11), SDT_SYS386IGT, SEL_KPL);
- setidt(44, &IDTVEC(intr12), SDT_SYS386IGT, SEL_KPL);
- setidt(45, &IDTVEC(intr13), SDT_SYS386IGT, SEL_KPL);
- setidt(46, &IDTVEC(intr14), SDT_SYS386IGT, SEL_KPL);
- setidt(47, &IDTVEC(intr15), SDT_SYS386IGT, SEL_KPL);