e500_splset
e500_splset(ci, is->is_ipl); /* change IPL */
e500_splset(ci, old_ipl); /* restore IPL */
e500_splset(ci, IPL_HIGH); /* pop to high */
e500_splset(ci, old_ipl); /* and drop back */
e500_splset(ci, ci->ci_cpl);
e500_splset(ci, IPL_HIGH);
e500_splset(ci, IPL_NONE);
e500_splset(ci, IPL_HIGH);
e500_splset(ci, ipl);
e500_splset(ci, ipl);