projects / barrelfish / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c9f31b3) | patch
kernel: caps_mark_revoke: fix marking of cap copies for revoke
authorSimon Gerber <simon.gerber@inf.ethz.ch>
Tue, 29 Aug 2017 13:38:00 +0000 (15:38 +0200)
committerSimon Gerber <simon.gerber@inf.ethz.ch>
Tue, 29 Aug 2017 14:26:38 +0000 (16:26 +0200)
commitba7034a2ccf6644b1dc682518439fc274afb113c
tree0c5bb32b29b22d5149683f16407d80aafcd2a933tree | snapshot
parentc9f31b354b93387a6a079c42d2237e3931b4bfb4commit | diff
kernel: caps_mark_revoke: fix marking of cap copies for revoke

Also add some comments explaining what the function is doing.

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
kernel/cap_delete.c diff | blob | history
Barrelfish OS git repo