null_xcall
extern void null_xcall(void);
(xc_func_t)null_xcall); \
#define MUTEX_SYNC() xc_all((xcfunc_t *)null_xcall, 0, 0)