summaryrefslogtreecommitdiff
path: root/kern/thread.c
diff options
context:
space:
mode:
authorJustus Winter <4winter@informatik.uni-hamburg.de>2015-08-16 02:18:47 +0200
committerJustus Winter <4winter@informatik.uni-hamburg.de>2015-08-28 15:47:56 +0200
commit787a6034170b59d55afe8d0a12cb0904f20cb74d (patch)
treed20fcc9b98882c7bb62500185cbfb08006fec26a /kern/thread.c
parent069a8a3decf5981cd420014384ead470eac8561c (diff)
codify locking contracts
Conflicts: vm/vm_page.h
Diffstat (limited to 'kern/thread.c')
0 files changed, 0 insertions, 0 deletions