Searched refs:l4_invoke_debugger (Results 1 – 3 of 3) sorted by relevance
| /l4re-core-master/l4sys/include/ |
| A D | debugger.h | 253 return l4_invoke_debugger(cap, l4_msgtag(0, 1 + i, 0, 0), utcb); in l4_debugger_set_object_name_u()
260 if (l4_error_u(l4_invoke_debugger(cap, l4_msgtag(0, 1, 0, 0), utcb), utcb)) in l4_debugger_global_id_u()
270 if (l4_error_u(l4_invoke_debugger(cap, l4_msgtag(0, 2, 0, 0), utcb), utcb)) in l4_debugger_kobj_to_id_u()
286 e = l4_error_u(l4_invoke_debugger(cap, l4_msgtag(0, 2 + i, 0, 0), utcb), utcb); in l4_debugger_query_log_typeid_u()
302 e = l4_error_u(l4_invoke_debugger(cap, l4_msgtag(0, 2, 0, 0), utcb), utcb); in l4_debugger_query_log_name_u()
321 return l4_invoke_debugger(cap, l4_msgtag(0, 2 + i, 0, 0), utcb); in l4_debugger_switch_log_u()
332 t = l4_invoke_debugger(cap, l4_msgtag(0, 2, 0, 0), utcb); in l4_debugger_get_object_name_u()
|
| A D | __kernel_object_impl.h | 10 l4_invoke_debugger(l4_cap_idx_t obj, l4_msgtag_t tag, l4_utcb_t *utcb) L4_NOTHROW in l4_invoke_debugger() function
|
| A D | kernel_object.h | 50 l4_invoke_debugger(l4_cap_idx_t obj, l4_msgtag_t tag, l4_utcb_t *utcb) L4_NOTHROW;
|
Completed in 6 milliseconds