Searched refs:L4_BASE_THREAD_CAP (Results 1 – 8 of 8) sorted by relevance
| /l4re-core-master/moe/server/src/ |
| A D | obj_reg.h | 139 L4_BASE_THREAD_CAP, id);
168 early_chksys(c->bind_thread(L4::Cap<L4::Thread>(L4_BASE_THREAD_CAP),
172 early_chksys(L4::Cap<L4::Thread>(L4_BASE_THREAD_CAP)->register_del_irq(c),
|
| A D | server_obj.cc | 22 L4::Cap<L4::Thread>(L4_BASE_THREAD_CAP)->modify_senders(todo); in ~Server_object()
|
| A D | sched_proxy.cc | 205 if (l4_error(irq->bind_thread(L4::Cap<L4::Thread>(L4_BASE_THREAD_CAP), l4_umword_t(this))) < 0) in Cpu_hotplug_server()
|
| A D | main.cc | 525 ->run_thread(L4::Cap<L4::Thread>(L4_BASE_THREAD_CAP), l4_sched_param(0xff)); in main()
561 l4_debugger_set_object_name(L4_BASE_THREAD_CAP, "moe"); in main()
|
| /l4re-core-master/sigma0/server/src/ |
| A D | init.cc | 62 l4_debugger_set_object_name(L4_BASE_THREAD_CAP, "sigma0"); in init()
|
| A D | memmap.cc | 66 L4_BASE_THREAD_CAP, (_next_gate >> L4_CAP_SHIFT) << 4, a->utcb); in new_client()
|
| /l4re-core-master/l4sys/include/ |
| A D | consts.h | 253 L4_BASE_THREAD_CAP = 3UL << L4_CAP_SHIFT, enumerator
|
| /l4re-core-master/l4re_kernel/server/src/ |
| A D | main.cc | 168 l4_debugger_set_object_name(L4_BASE_THREAD_CAP, s); in run()
|
Completed in 10 milliseconds