Lines Matching defs:cap
245 l4_debugger_set_object_name_u(l4_cap_idx_t cap, 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()
276 l4_debugger_query_log_typeid_u(l4_cap_idx_t cap, const char *name, in l4_debugger_query_log_typeid_u()
293 l4_debugger_query_log_name_u(l4_cap_idx_t cap, unsigned idx, in l4_debugger_query_log_name_u()
313 l4_debugger_switch_log_u(l4_cap_idx_t cap, const char *name, int on_off, in l4_debugger_switch_log_u()
325 l4_debugger_get_object_name_u(l4_cap_idx_t cap, unsigned id, in l4_debugger_get_object_name_u()
339 l4_debugger_set_object_name(l4_cap_idx_t cap, in l4_debugger_set_object_name()
346 l4_debugger_global_id(l4_cap_idx_t cap) L4_NOTHROW in l4_debugger_global_id()
352 l4_debugger_kobj_to_id(l4_cap_idx_t cap, l4_addr_t kobjp) L4_NOTHROW in l4_debugger_kobj_to_id()
358 l4_debugger_query_log_typeid(l4_cap_idx_t cap, const char *name, in l4_debugger_query_log_typeid()
365 l4_debugger_query_log_name(l4_cap_idx_t cap, unsigned idx, in l4_debugger_query_log_name()
374 l4_debugger_switch_log(l4_cap_idx_t cap, const char *name, in l4_debugger_switch_log()
381 l4_debugger_get_object_name(l4_cap_idx_t cap, unsigned id, in l4_debugger_get_object_name()