L4Re Operating System Framework
Interface and Usage Documentation
|
Functions | |
long | l4re_debug_obj_debug (l4_cap_idx_t srv, unsigned long function) L4_NOTHROW |
Call debug function of L4Re service. | |
long l4re_debug_obj_debug | ( | l4_cap_idx_t | srv, |
unsigned long | function | ||
) |
Call debug function of L4Re service.
srv | Object to call. |
function | Function to call. |