Home
last modified time | relevance | path

Searched refs:l4_debugger_global_id_u (Results 1 – 2 of 2) sorted by relevance

/l4re-core-master/l4sys/include/
A Ddebugger.h103 l4_debugger_global_id_u(l4_cap_idx_t cap, l4_utcb_t *utcb) L4_NOTHROW;
257 l4_debugger_global_id_u(l4_cap_idx_t cap, l4_utcb_t *utcb) L4_NOTHROW in l4_debugger_global_id_u() function
348 return l4_debugger_global_id_u(cap, l4_utcb()); in l4_debugger_global_id()
A Ddebugger83 { return l4_debugger_global_id_u(cap(), utcb); }

Completed in 3 milliseconds