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

../
arch/                                              20-Mar-2020 13:40                   -
caplock.h                                          20-Mar-2020 13:40                 647
capops.h                                           20-Mar-2020 13:40                2158
capqueue.h                                         20-Mar-2020 13:40                 846
capsend.h                                          20-Mar-2020 13:40                2478
connection.h                                       20-Mar-2020 13:40                2718
dom_invocations.h                                  20-Mar-2020 13:40                 710
domcap.h                                           20-Mar-2020 13:40                 729
monitor.h                                          20-Mar-2020 13:40                6993
monitor_debug.h                                    20-Mar-2020 13:40                 877
monitor_invocations.h                              20-Mar-2020 13:40                9812
monitor_server.h                                   20-Mar-2020 13:40                 855
queue.h                                            20-Mar-2020 13:40                1979
ram_alloc.h                                        20-Mar-2020 13:40                 643
send_cap.h                                         20-Mar-2020 13:40                1166
spawn.h                                            20-Mar-2020 13:40                 842