OPENPIC_CPU_PRIORITY
openpic_write(OPENPIC_CPU_PRIORITY(cpu), pri);
openpic_read(OPENPIC_CPU_PRIORITY(ci->ci_cpuid)));