Extract mutex_global function to PerMutexPrivBase corresponding to M_g
Extract mutex_global function to PerMutexPrivBase corresponding to M_g

goblint/analyzer,goblint/analyzer,goblint/analyzer,goblint/analyzer,goblint/analyzer