kernel: caps_mark_revoke: fix assertions after marking copies
authorSimon Gerber <simon.gerber@inf.ethz.ch>
Tue, 29 Aug 2017 15:14:49 +0000 (17:14 +0200)
committerSimon Gerber <simon.gerber@inf.ethz.ch>
Tue, 29 Aug 2017 15:14:49 +0000 (17:14 +0200)
commit209f045021ebac76cfc2fc028894fd7caccde879
tree90cfd52d51ec52b275d4957a1f0da523d1d27975
parent7ad4d78c8be8d5e2c05d2ee00edf8ee21fba822f
kernel: caps_mark_revoke: fix assertions after marking copies

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
kernel/cap_delete.c