openpic_write
openpic_write(OPENPIC_EOI(cpu), 0);
openpic_write(OPENPIC_CONFIG, x);
openpic_write(OPENPIC_SRC_VECTOR(irq), OPENPIC_IMASK);
openpic_write(OPENPIC_CONFIG, x);
openpic_write(OPENPIC_SRC_VECTOR(irq), x);
openpic_write(OPENPIC_IDEST(irq), 1 << 0);
openpic_write(OPENPIC_IPI_VECTOR(0), x);
openpic_write(OPENPIC_IPI_VECTOR(1), x);
openpic_write(OPENPIC_SPURIOUS_VECTOR, 255);
openpic_write(OPENPIC_SRC_VECTOR(irq), x);
openpic_write(OPENPIC_SRC_VECTOR(irq), x);
openpic_write(OPENPIC_CPU_PRIORITY(cpu), pri);
openpic_write(OPENPIC_IPI(curcpu()->ci_cpuid, id), 1 << ci->ci_cpuid);
openpic_write(OPENPIC_SRC_VECTOR(irq), x);
void openpic_write(int reg, u_int val);