u3_ht_write
u3_ht_write(u3_ht, OPENPIC_CONFIG, x | OPENPIC_CONFIG_RESET);
u3_ht_write(u3_ht, OPENPIC_SRC_VECTOR(irq), x);
u3_ht_write(u3_ht, OPENPIC_IDEST(irq), 1 << 0);
u3_ht_write(u3_ht, OPENPIC_SRC_VECTOR(irq), x);
u3_ht_write(u3_ht, OPENPIC_IDEST(irq), 1 << 0);
u3_ht_write(u3_ht, OPENPIC_CONFIG, x);
u3_ht_write(u3_ht, OPENPIC_SPURIOUS_VECTOR, 0xff);
u3_ht_write(u3_ht, OPENPIC_IPI_VECTOR(1), x);
u3_ht_write(u3_ht, OPENPIC_SRC_VECTOR(irq), x);
u3_ht_write(u3_ht, OPENPIC_SRC_VECTOR(irq), x);
u3_ht_write(u3_ht, OPENPIC_SRC_VECTOR(irq), x);
u3_ht_write(u3_ht, OPENPIC_IDEST(i), cpumask);
u3_ht_write(u3_ht, OPENPIC_CPU_PRIORITY(cpu), x);
u3_ht_write(u3_ht, OPENPIC_EOI(cpu), 0);
u3_ht_write(u3ht0, OPENPIC_IPI(cpu_index(ci), 1), cpumask);