xc_all
#define MUTEX_SYNC() xc_all((xcfunc_t *)null_xcall, 0, 0)
xc_all((xcfunc_t *)trapstat_enable, 0, 0);
xc_all((xcfunc_t *)trapstat_disable, 0, 0);
xc_all(dtrace_xcall_func, (uint64_t)func, (uint64_t)arg);
xc_all(dtrace_sync_func, 0, 0);
extern void xc_all(xcfunc_t *, uint64_t, uint64_t);
xc_all(sbd_flush_ecache, 0, 0);
xc_all(sbdp_flush_ecache, 0, 0);
xc_all((xcfunc_t *)enable_tick_stick_npt, 0, 0);