SOFTINTR_XCALL
CTASSERT(SOFTINTR_XCALL < 32);
if (ISSET(ipending, SI_TO_IRQBIT(SOFTINTR_XCALL))) {
CLR(ci->ci_ipending, SI_TO_IRQBIT(SOFTINTR_XCALL));
arm_smask[i] |= SI_TO_IRQBIT(SOFTINTR_XCALL);
#define arm_cpu_xcall_dispatch() softintr(SOFTINTR_XCALL)