capsend broadcast: can now remember set of destination cores for operations involving...
authorSimon Gerber <simon.gerber@inf.ethz.ch>
Fri, 28 Nov 2014 15:26:12 +0000 (16:26 +0100)
committerSimon Gerber <simon.gerber@inf.ethz.ch>
Fri, 28 Nov 2014 15:26:12 +0000 (16:26 +0100)
commit22024d29451f22b03d75e5a2f4e394c73696786f
tree1c9b12dc51884ad56c19b2de4b6f618c7a8255a8
parentd326891a17ff1da9ce5c999047a39cf8b2687cc7
capsend broadcast: can now remember set of destination cores for operations involving >1 broadcast.
usr/monitor/capops/capsend.c
usr/monitor/capops/revoke.c
usr/monitor/include/capsend.h