diff options
| author | Justus Winter <4winter@informatik.uni-hamburg.de> | 2015-07-25 02:13:17 +0200 |
|---|---|---|
| committer | Justus Winter <4winter@informatik.uni-hamburg.de> | 2015-08-28 15:47:56 +0200 |
| commit | 30ccdf4630fe9d27ffc6c260e87404a2befcc8df (patch) | |
| tree | e03c09e570a3a33ea881bd61210489b4e7d66477 /include | |
| parent | 28984c8584d2c96a9beb2dcebef2985bc041ca7b (diff) | |
vm: use a general lock to protect the default memory manager
* vm/memory_object.c: Use a general lock to protect the default memory
manager.
Diffstat (limited to 'include')
0 files changed, 0 insertions, 0 deletions