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-15 12:43:26 +0200 |
| commit | c73b49b93e583d6fe9fdbfe18c540e0e3eaa6bd1 (patch) | |
| tree | 2f90e8591ef573db9ad681350647c86f1a40fdb0 /vm/vm_kern.h | |
| parent | a532bf98740841143d881898c0047b1065d9e11c (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 'vm/vm_kern.h')
0 files changed, 0 insertions, 0 deletions