OPENPIC_CPU_PRIORITY
x = openpic_read(info, OPENPIC_CPU_PRIORITY(cpu));
openpic_write(info, OPENPIC_CPU_PRIORITY(cpu), x);