Searched refs:kobjp (Results 1 – 2 of 2) sorted by relevance
| /l4re-core-master/l4sys/include/ |
| A D | debugger.h | 118 l4_debugger_kobj_to_id(l4_cap_idx_t cap, l4_addr_t kobjp) L4_NOTHROW;
124 l4_debugger_kobj_to_id_u(l4_cap_idx_t cap, l4_addr_t kobjp, l4_utcb_t *utcb) L4_NOTHROW;
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() argument
269 l4_utcb_mr_u(utcb)->mr[1] = kobjp; in l4_debugger_kobj_to_id_u()
352 l4_debugger_kobj_to_id(l4_cap_idx_t cap, l4_addr_t kobjp) L4_NOTHROW in l4_debugger_kobj_to_id() argument
354 return l4_debugger_kobj_to_id_u(cap, kobjp, l4_utcb()); in l4_debugger_kobj_to_id()
|
| A D | debugger | 88 * \param kobjp Kobject pointer
94 unsigned long kobj_to_id(l4_addr_t kobjp,
96 { return l4_debugger_kobj_to_id_u(cap(), kobjp, utcb); }
|
Completed in 4 milliseconds