summaryrefslogtreecommitdiff
path: root/kern
diff options
context:
space:
mode:
authorJustus Winter <4winter@informatik.uni-hamburg.de>2015-07-25 02:13:17 +0200
committerJustus Winter <4winter@informatik.uni-hamburg.de>2015-07-26 12:14:18 +0200
commit16d75136885bc7c8779b95f33e4e1c2f4ee20762 (patch)
tree0cc6caded2011ee180737004dd39d48de2b468e0 /kern
parent833a63f121291c9130e6dbbe735d21dc89594e5a (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 'kern')
0 files changed, 0 insertions, 0 deletions