OPENPIC_PCPU_IACK
(void)openpic_read(sc, OPENPIC_PCPU_IACK(0));
vector = openpic_read(sc, OPENPIC_PCPU_IACK(cpuid));