OPENPIC_CPU_PRIORITY
x = u3_ht_read(u3_ht, OPENPIC_CPU_PRIORITY(cpu));
u3_ht_write(u3_ht, OPENPIC_CPU_PRIORITY(cpu), x);
x = openpic_read(OPENPIC_CPU_PRIORITY(cpu));
openpic_write(OPENPIC_CPU_PRIORITY(cpu), x);
x = openpic_read(OPENPIC_CPU_PRIORITY(cpu));
openpic_write(OPENPIC_CPU_PRIORITY(cpu), x);