openpic_write
openpic_write(OPENPIC_PROC_INIT, (1 << 1));
openpic_write(cpu, OPENPIC_EOI, 0);
openpic_write(cpu, OPENPIC_GCR, GCR_M);
openpic_write(cpu, OPENPIC_EIVPR(irq),
openpic_write(cpu, dr, 0); /* stop delivery */
openpic_write(cpu, OPENPIC_IPIDR(0), dstmask);
openpic_write(cpu, ii.irq_vpr, vpr | VPR_MSK);
openpic_write(cpu, ii.irq_dr, ecpuset);
openpic_write(cpu, ii.irq_vpr, vpr);
openpic_write(cpu, OPENPIC_CTPR, ctpr);
openpic_write(cpu, ii.irq_vpr, vpr | VPR_MSK);
openpic_write(cpu, ii.irq_dr, dr);
openpic_write(cpu, ii.irq_vpr, vpr);
openpic_write(cpu, ii.irq_vpr, VPR_MSK | vpr);
openpic_write(cpu, ii.irq_dr, 0); /* stop delivery */
openpic_write(cpu, ii.irq_vpr, VPR_MSK); /* mask/reset it */
openpic_write(cpu, cpu->cpu_clock_gtbcr,
openpic_write(cpu, cpu->cpu_clock_gtbcr,
static __inline void openpic_write(u_int, uint32_t);
openpic_write(OPENPIC_EOI(cpu), 0);
openpic_write(OPENPIC_IPI(cpu_index(ci), 1), cpumask);
openpic_write(OPENPIC_IPI_VECTOR(0), OPENPIC_IMASK);
openpic_write(OPENPIC_IPI_VECTOR(1), x);
openpic_write(OPENPIC_IDEST(i), cpumask);
openpic_write(OPENPIC_CPU_PRIORITY(cpu), x);
openpic_write(OPENPIC_CONFIG, x);
openpic_write(OPENPIC_SPURIOUS_VECTOR, 0xff);
openpic_write(MPCPIC_IVEC(irq), OPENPIC_IMASK);
openpic_write(MPCPIC_IDST(irq), 1 << 0);
openpic_write(OPENPIC_SPURIOUS_VECTOR, 0xff);
openpic_write(MPCPIC_IVEC(irq), x);
openpic_write(MPCPIC_IVEC(irq), x);
openpic_write(MPCPIC_IVEC(irq), x);
openpic_write(MPCPIC_IDST(i), cpumask);
openpic_write(OPENPIC_IDEST(irq), 1 << 0);
openpic_write(OPENPIC_CONFIG, x);
openpic_write(OPENPIC_SPURIOUS_VECTOR, 0xff);
openpic_write(OPENPIC_CONFIG, OPENPIC_CONFIG_RESET);
openpic_write(OPENPIC_CONFIG, x);
openpic_write(OPENPIC_SRC_VECTOR(irq), x);
openpic_write(OPENPIC_SRC_VECTOR(irq), x);
openpic_write(OPENPIC_SRC_VECTOR(irq), x);
openpic_write(OPENPIC_SRC_VECTOR(irq), OPENPIC_IMASK);
openpic_write(OPENPIC_SRC_VECTOR(irq), x);
openpic_write(OPENPIC_SRC_VECTOR(irq), x);
openpic_write(OPENPIC_CPU_PRIORITY(cpu), x);
openpic_write(OPENPIC_PROC_INIT, (1 << 1));
openpic_write(OPENPIC_PROC_INIT, 0);
openpic_write(OPENPIC_TIMER_FREQ, busfreq/8);