I also wonder if we should shortcut the double softint in subr_xcall.c by something like #ifdef __HAVE_IPI_SOFTINT xc_md_register(&xc_sih); #endif in the xcall init code and then use that softint directly from the ipi target code. Martin