Lines Matching refs:l4_utcb_t
60 l4_debugger_set_object_name_u(l4_cap_idx_t cap, const char *name, l4_utcb_t *utcb) L4_NOTHROW;
83 l4_utcb_t *utcb) L4_NOTHROW;
103 l4_debugger_global_id_u(l4_cap_idx_t cap, l4_utcb_t *utcb) L4_NOTHROW;
124 l4_debugger_kobj_to_id_u(l4_cap_idx_t cap, l4_addr_t kobjp, l4_utcb_t *utcb) L4_NOTHROW;
146 unsigned idx, l4_utcb_t *utcb) L4_NOTHROW;
175 l4_utcb_t *utcb) L4_NOTHROW;
195 l4_utcb_t *utcb) L4_NOTHROW;
246 const char *name, l4_utcb_t *utcb) L4_NOTHROW in l4_debugger_set_object_name_u()
257 l4_debugger_global_id_u(l4_cap_idx_t cap, l4_utcb_t *utcb) L4_NOTHROW in l4_debugger_global_id_u()
266 l4_debugger_kobj_to_id_u(l4_cap_idx_t cap, l4_addr_t kobjp, l4_utcb_t *utcb) L4_NOTHROW in l4_debugger_kobj_to_id_u()
278 l4_utcb_t *utcb) L4_NOTHROW in l4_debugger_query_log_typeid_u()
296 l4_utcb_t *utcb) L4_NOTHROW in l4_debugger_query_log_name_u()
314 l4_utcb_t *utcb) L4_NOTHROW in l4_debugger_switch_log_u()
327 l4_utcb_t *utcb) L4_NOTHROW in l4_debugger_get_object_name_u()