|
L4Re - L4 Runtime Environment
|
Debug C interface. More...
#include <l4/sys/types.h>
Include dependency graph for debug.h:Go to the source code of this file.
Functions | |
| long | l4re_debug_obj_debug (l4_cap_idx_t srv, unsigned long function) L4_NOTHROW |
| Call debug function of L4Re service. More... | |
Debug C interface.
Definition in file debug.h.