OPENPIC_PCPU_EOI
openpic_write(sc, OPENPIC_PCPU_EOI(0), 0);
openpic_write(sc, OPENPIC_PCPU_EOI(cpuid), 0);