openpic_write
openpic_write(sc, OPENPIC_CONFIG, x);
openpic_write(sc, OPENPIC_PCPU_TPR(cpu), 15);
openpic_write(sc, OPENPIC_SRC_VECTOR(irq), x);
openpic_write(sc, OPENPIC_IPI_VECTOR(ipi), x);
openpic_write(sc, OPENPIC_CONFIG, x);
openpic_write(sc, OPENPIC_IDEST(irq), 1 << 0);
openpic_write(sc, OPENPIC_PCPU_EOI(0), 0);
openpic_write(sc, OPENPIC_PCPU_TPR(cpu), 0);
openpic_write(sc, OPENPIC_IDEST(irq), mask);
openpic_write(sc, OPENPIC_SRC_VECTOR(irq), x);
openpic_write(sc, OPENPIC_SRC_VECTOR(irq), x);
openpic_write(sc, OPENPIC_IPI_VECTOR(0), x);
openpic_write(sc, OPENPIC_PCPU_EOI(cpuid), 0);
openpic_write(sc, OPENPIC_PCPU_IPI_DISPATCH(PCPU_GET(cpuid), 0),
openpic_write(sc, OPENPIC_SRC_VECTOR(irq), x);
openpic_write(sc, OPENPIC_IPI_VECTOR(0), x);
openpic_write(sc, OPENPIC_SRC_VECTOR(irq), x);
openpic_write(sc, OPENPIC_IPI_VECTOR(0), x);
openpic_write(sc, OPENPIC_CONFIG, x);