Incomplete cleanup of delete capop to use conts.
authorMark Nevill <nevillm@ethz.ch>
Sun, 10 Jun 2012 03:25:46 +0000 (05:25 +0200)
committerSimon Gerber <simon.gerber@inf.ethz.ch>
Thu, 18 Jul 2013 12:58:35 +0000 (14:58 +0200)
commit1a351f2cde51ec0ba03db4dd8379500a83d1c32d
tree2a1b1cfb6e4faf46a773c866448cdbf0b0e1ff3c
parent5aa5bd8e4b94daa0fff9530f2cb62f81f8adb917
Incomplete cleanup of delete capop to use conts.
usr/monitor/capops/delete.c
usr/monitor/capops/init.c
usr/monitor/capops/internal.h
usr/monitor/capops/retype.c
usr/monitor/capops/revoke.c
usr/monitor/include/capops.h
usr/monitor/monitor_rpc_server.c
usr/monitor/ram_alloc.c
usr/monitor/send_cap.c