u3_ht_read
x = u3_ht_read(u3_ht, OPENPIC_CONFIG);
x = u3_ht_read(u3_ht, OPENPIC_CONFIG);
x = u3_ht_read(u3_ht, OPENPIC_FEATURE);
x = u3_ht_read(u3_ht, OPENPIC_CONFIG);
x = u3_ht_read(u3_ht, OPENPIC_IPI_VECTOR(1));
x = u3_ht_read(u3_ht, OPENPIC_SRC_VECTOR(irq));
x = u3_ht_read(u3_ht, OPENPIC_SRC_VECTOR(irq));
x = u3_ht_read(u3_ht, OPENPIC_CPU_PRIORITY(cpu));
return u3_ht_read(u3_ht, OPENPIC_IACK(cpu)) & OPENPIC_VECTOR_MASK;
u3_ht_read(u3_ht, OPENPIC_EOI(cpu));