tree 61fbedd62c8bb1a719591c0f7c2bf65a9b94a879
parent f4c76509ad0765e34efff57094e05d0cee01198c
author Barret Rhoden <brho@cs.berkeley.edu> 1421876990 -0500
committer Barret Rhoden <brho@cs.berkeley.edu> 1422976350 -0500

BXE: mutex initialization

Dropping the extra arguments.  And spatch worked fine this time!  (With the
spatchme.sh script).