tree f78e179753657d3ee9f0132c7433e3099162e9f2
parent 3a5351e4437fc2c220bc68a431bd4a1a00a653fa
author Mathias Agopian <mathias@google.com> 1247547577 -0700
committer Mathias Agopian <mathias@google.com> 1247547996 -0700

add a ctor to Mutex to specify the type, which can be shared. This is used by sf and af an soon will allow some optimization in the kernel for non shared mutexes