Index of /debian/barrelfish/barrelfish-HEAD-06a9f54/usr/monitor/capops/

../
caplock.c                                          20-Mar-2020 13:40                1227
capqueue.c                                         20-Mar-2020 13:40                1167
capsend.c                                          20-Mar-2020 13:40               27720
copy.c                                             20-Mar-2020 13:40               23038
delete.c                                           20-Mar-2020 13:40               18525
delete_int.h                                       20-Mar-2020 13:40                1212
deletestep.c                                       20-Mar-2020 13:40                6604
init.c                                             20-Mar-2020 13:40                1963
internal.c                                         20-Mar-2020 13:40                1010
internal.h                                         20-Mar-2020 13:40                4934
move.c                                             20-Mar-2020 13:40                9239
reclaim.c                                          20-Mar-2020 13:40                2487
retrieve.c                                         20-Mar-2020 13:40                8418
retype.c                                           20-Mar-2020 13:40               16580
revoke.c                                           20-Mar-2020 13:40               23383