init_mondo
init_mondo(func, arg1, arg2);
init_mondo(func, arg1, arg2);
init_mondo(func, arg1, arg2);
init_mondo(setsoftint_tl1, xc_serv_inum, 0);
init_mondo(setsoftint_tl1, xc_serv_inum, 0);
init_mondo(setsoftint_tl1, xc_serv_inum, 0);
init_mondo(setsoftint_tl1, xc_loop_inum, 0);
void init_mondo(xcfunc_t *func, uint64_t arg1, uint64_t arg2);
init_mondo((xcfunc_t *)xt_sync_tl1, 0, 0); \
init_mondo((xcfunc_t *)xt_sync_tl1, 0, 0); \
void init_mondo(xcfunc_t *func, uint64_t arg1, uint64_t arg2);