XC_IPL_SOFTBIO
SETUP_SOFTINT(XC_IPL_SOFTBIO, SOFTINT_BIO);
return __SHIFTIN(XC_IPL_SOFTBIO, XC_IPL_MASK);