T276: Fix monitor revoke check to check for overlapping descendants instead of any...
authorSimon Gerber <simon.gerber@inf.ethz.ch>
Tue, 2 Aug 2016 11:56:55 +0000 (13:56 +0200)
committerSimon Gerber <simon.gerber@inf.ethz.ch>
Tue, 2 Aug 2016 11:56:55 +0000 (13:56 +0200)
commitaa13ea8305cef6fdeedc3624d8c9c893e69ca3cb
tree42739aab631e9ddf9202f35b341c45ac61b11148
parentcba42551daa1e914a73ba4471d5cbfe5ba10f5eb
T276: Fix monitor revoke check to check for overlapping descendants instead of any descendants

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
13 files changed:
if/intermon.if
include/barrelfish_kpi/capabilities.h
kernel/arch/x86_64/syscall.c
kernel/include/syscall.h
kernel/monitor.c
usr/monitor/capops/capsend.c
usr/monitor/capops/init.c
usr/monitor/capops/internal.h
usr/monitor/capops/retype.c
usr/monitor/include/arch/x86_64/monitor_invocations_arch.h
usr/monitor/include/capsend.h
usr/monitor/include/monitor_invocations.h
usr/monitor/invocations.c