Searched refs:l4_debugger_switch_log_u (Results 1 – 2 of 2) sorted by relevance
| /l4re-core-master/l4sys/include/ |
| A D | debugger.h | 194 l4_debugger_switch_log_u(l4_cap_idx_t cap, const char *name, int on_off,
313 l4_debugger_switch_log_u(l4_cap_idx_t cap, const char *name, int on_off, in l4_debugger_switch_log_u() function
377 return l4_debugger_switch_log_u(cap, name, on_off, l4_utcb()); in l4_debugger_switch_log()
|
| A D | debugger | 146 { return l4_debugger_switch_log_u(cap(), name, on_off, utcb); }
|
Completed in 3 milliseconds