monitor: bugfixes in the revocation protocol
[barrelfish] / usr / monitor / capops /
drwxr-xr-x   ..
-rw-r--r-- 1221 caplock.c
-rw-r--r-- 1162 capqueue.c
-rw-r--r-- 19055 capsend.c
-rw-r--r-- 20710 copy.c
-rw-r--r-- 14410 delete.c
-rw-r--r-- 1251 delete_int.h
-rw-r--r-- 6250 deletestep.c
-rw-r--r-- 1800 init.c
-rw-r--r-- 2650 internal.c
-rw-r--r-- 4423 internal.h
-rw-r--r-- 476 magic.c
-rw-r--r-- 672 magic.h
-rw-r--r-- 7956 move.c
-rw-r--r-- 7528 retrieve.c
-rw-r--r-- 12244 retype.c
-rw-r--r-- 13247 revoke.c