powerpc_softint
powerpc_softint(ci, old_ipl, /* deal with them */
powerpc_softint(ci, IPL_NONE,
powerpc_softint(ci, ipl,
void powerpc_softint(struct cpu_info *, int, vaddr_t);
powerpc_softint(ci, pcpl,