Searched refs:L4_BASE_DEBUGGER_CAP (Results 1 – 5 of 5) sorted by relevance
| /l4re-core-master/l4sys/include/ |
| A D | kdebug.h | 55 res = l4_ipc_call(L4_BASE_DEBUGGER_CAP, u, in __kdebug_op()
77 res = l4_ipc_call(L4_BASE_DEBUGGER_CAP, u, in __kdebug_text()
104 res = l4_ipc_call(L4_BASE_DEBUGGER_CAP, u, in __kdebug_3_text()
124 res = l4_ipc_call(L4_BASE_DEBUGGER_CAP, u, in __kdebug_op_1()
137 l4_ipc_call(L4_BASE_DEBUGGER_CAP, 0, in enter_kdebug()
|
| A D | __kernel_object_impl.h | 27 return l4_ipc_call(L4_BASE_DEBUGGER_CAP, utcb, t2, L4_IPC_NEVER); in l4_invoke_debugger()
|
| A D | consts.h | 288 L4_BASE_DEBUGGER_CAP = 10UL << L4_CAP_SHIFT, enumerator
|
| /l4re-core-master/moe/server/src/ |
| A D | main.cc | 573 if (L4::Cap<void>(L4_BASE_DEBUGGER_CAP).validate().label()) in main()
574 … root_name_space()->register_obj("jdb", Entry::F_trusted | Entry::F_rw, L4_BASE_DEBUGGER_CAP); in main()
|
| /l4re-core-master/libloader/include/ |
| A D | loader | 99 return L4_BASE_DEBUGGER_CAP;
|
Completed in 9 milliseconds