openpic_splx
ppc_intr_func.x = openpic_splx;
openpic_splx(newcpl);
openpic_splx(pcpl); /* Process pendings. */
void openpic_splx(int);