Give a more proper definition in xmm_onoff_mutex