/l4re-core-master/l4sys/include/ |
A D | ipc.h | 162 l4_error_u(l4_msgtag_t tag, l4_utcb_t *utcb) L4_NOTHROW; 260 l4_ipc_wait(l4_utcb_t *utcb, l4_umword_t *label, 287 l4_ipc_receive(l4_cap_idx_t object, l4_utcb_t *utcb, 334 l4_ipc_reply_and_wait(l4_utcb_t *utcb, l4_msgtag_t tag, 381 l4_ipc_wait_next_period(l4_utcb_t *utcb, 406 l4_utcb_t *utcb, 463 l4_ipc_call(l4_cap_idx_t dest, l4_utcb_t *utcb, in l4_ipc_call() 488 l4_ipc_send(l4_cap_idx_t dest, l4_utcb_t *utcb, in l4_ipc_send() 496 l4_ipc_wait(l4_utcb_t *utcb, l4_umword_t *src, in l4_ipc_wait() 505 l4_ipc_receive(l4_cap_idx_t src, l4_utcb_t *utcb, in l4_ipc_receive() [all …]
|
A D | utcb.h | 67 typedef struct l4_utcb_t l4_utcb_t; typedef 132 L4_CV l4_utcb_t *l4_utcb_wrap(void) L4_NOTHROW L4_PURE; 139 L4_INLINE l4_utcb_t *l4_utcb_direct(void) L4_NOTHROW L4_PURE; 145 L4_INLINE l4_utcb_t *l4_utcb(void) L4_NOTHROW L4_PURE; 289 l4_utcb_t *utcb) L4_NOTHROW; 320 L4_INLINE l4_msg_regs_t *l4_utcb_mr_u(l4_utcb_t *u) L4_NOTHROW in l4_utcb_mr_u() 323 L4_INLINE l4_buf_regs_t *l4_utcb_br_u(l4_utcb_t *u) L4_NOTHROW in l4_utcb_br_u() 326 L4_INLINE l4_thread_regs_t *l4_utcb_tcr_u(l4_utcb_t *u) L4_NOTHROW in l4_utcb_tcr_u() 329 L4_INLINE l4_exc_regs_t *l4_utcb_exc_u(l4_utcb_t *u) L4_NOTHROW in l4_utcb_exc_u() 340 L4_INLINE l4_utcb_t *l4_utcb(void) L4_NOTHROW in l4_utcb() [all …]
|
A D | thread.h | 195 l4_thread_control_start_u(l4_utcb_t *utcb) L4_NOTHROW; 258 l4_thread_control_bind(l4_utcb_t *thread_utcb, 266 l4_thread_control_bind_u(l4_utcb_t *thread_utcb, 379 l4_utcb_t *utcb) L4_NOTHROW; 469 l4_utcb_t *utcb) L4_NOTHROW; 727 l4_thread_control_start_u(l4_utcb_t *utcb) L4_NOTHROW in l4_thread_control_start_u() 752 l4_utcb_t *utcb) L4_NOTHROW in l4_thread_control_bind_u() 806 l4_utcb_t *utcb) L4_NOTHROW in l4_thread_stats_time_u() 929 l4_utcb_t *u) L4_NOTHROW in l4_thread_register_del_irq_u() 948 l4_utcb_t *utcb) L4_NOTHROW in l4_thread_vcpu_control_u() [all …]
|
A D | factory.h | 191 l4_utcb_t *utcb) L4_NOTHROW; 277 l4_utcb_t *utcb) L4_NOTHROW; 291 l4_utcb_t *u) L4_NOTHROW in l4_factory_create_task_u() 309 l4_utcb_t *u) L4_NOTHROW in l4_factory_create_factory_u() 321 l4_utcb_t *u) L4_NOTHROW in l4_factory_create_gate_u() 349 l4_utcb_t *u) L4_NOTHROW in l4_factory_create_vm_u() 404 l4_utcb_t *u) L4_NOTHROW in l4_factory_create_start_u() 431 l4_utcb_t *u) L4_NOTHROW in l4_factory_create_add_int_u() 461 l4_utcb_t *u) L4_NOTHROW in l4_factory_create_add_str_u() 504 l4_utcb_t *u) L4_NOTHROW in l4_factory_create_commit_u() [all …]
|
A D | irq.h | 83 l4_utcb_t *utcb) L4_NOTHROW; 103 l4_irq_detach_u(l4_cap_idx_t irq, l4_utcb_t *utcb) L4_NOTHROW; 131 l4_irq_trigger_u(l4_cap_idx_t irq, l4_utcb_t *utcb) L4_NOTHROW; 176 l4_timeout_t timeout, l4_utcb_t *utcb) L4_NOTHROW; 198 l4_irq_unmask_u(l4_cap_idx_t irq, l4_utcb_t *utcb) L4_NOTHROW; 232 l4_utcb_t *utcb) L4_NOTHROW in l4_irq_mux_chain_u() 243 l4_irq_detach_u(l4_cap_idx_t irq, l4_utcb_t *utcb) L4_NOTHROW in l4_irq_detach_u() 251 l4_irq_trigger_u(l4_cap_idx_t irq, l4_utcb_t *utcb) L4_NOTHROW in l4_irq_trigger_u() 258 l4_irq_receive_u(l4_cap_idx_t irq, l4_timeout_t to, l4_utcb_t *utcb) L4_NOTHROW in l4_irq_receive_u() 266 l4_timeout_t to, l4_utcb_t *utcb) L4_NOTHROW in l4_irq_wait_u() [all …]
|
A D | task.h | 106 l4_umword_t map_mask, l4_utcb_t *utcb) L4_NOTHROW; 137 l4_utcb_t *u) L4_NOTHROW; 164 l4_utcb_t *u) L4_NOTHROW; 190 l4_utcb_t *u) L4_NOTHROW; 239 l4_utcb_t *u) L4_NOTHROW; 296 l4_umword_t map_mask, l4_utcb_t *u) L4_NOTHROW in l4_task_unmap_u() 308 l4_utcb_t *u) L4_NOTHROW in l4_task_unmap_batch_u() 328 l4_cap_idx_t cap_b, l4_utcb_t *u) L4_NOTHROW in l4_task_cap_equal_u() 339 l4_utcb_t *u) L4_NOTHROW in l4_task_add_ku_mem_u() 373 l4_utcb_t *u) L4_NOTHROW in l4_task_delete_obj_u() [all …]
|
A D | debugger.h | 83 l4_utcb_t *utcb) L4_NOTHROW; 103 l4_debugger_global_id_u(l4_cap_idx_t cap, l4_utcb_t *utcb) L4_NOTHROW; 146 unsigned idx, l4_utcb_t *utcb) L4_NOTHROW; 175 l4_utcb_t *utcb) L4_NOTHROW; 195 l4_utcb_t *utcb) L4_NOTHROW; 246 const char *name, l4_utcb_t *utcb) L4_NOTHROW 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() 278 l4_utcb_t *utcb) L4_NOTHROW in l4_debugger_query_log_typeid_u() 296 l4_utcb_t *utcb) L4_NOTHROW in l4_debugger_query_log_name_u() 314 l4_utcb_t *utcb) L4_NOTHROW in l4_debugger_switch_log_u() [all …]
|
A D | icu.h | 215 l4_utcb_t *utcb) L4_NOTHROW; 238 l4_utcb_t *utcb) L4_NOTHROW; 261 l4_utcb_t *utcb) L4_NOTHROW; 282 l4_utcb_t *utcb) L4_NOTHROW; 362 l4_utcb_t *utcb) L4_NOTHROW; 371 l4_utcb_t *utcb) L4_NOTHROW in l4_icu_bind_u() 383 l4_utcb_t *utcb) L4_NOTHROW in l4_icu_unbind_u() 395 l4_utcb_t *utcb) L4_NOTHROW in l4_icu_info_u() 432 l4_utcb_t *utcb) L4_NOTHROW in l4_icu_set_mode_u() 444 l4_utcb_t *utcb) L4_NOTHROW in l4_icu_control_u() [all …]
|
A D | platform_control.h | 65 l4_utcb_t *utcb) L4_NOTHROW; 86 l4_utcb_t *utcb) L4_NOTHROW; 109 l4_utcb_t *utcb) L4_NOTHROW; 130 l4_utcb_t *utcb) L4_NOTHROW; 152 l4_utcb_t *utcb) L4_NOTHROW; 195 l4_utcb_t *utcb) L4_NOTHROW in l4_platform_ctl_system_suspend_u() 207 l4_utcb_t *utcb) L4_NOTHROW in l4_platform_ctl_system_shutdown_u() 235 l4_utcb_t *utcb) L4_NOTHROW in l4_platform_ctl_cpu_allow_shutdown_u() 256 l4_utcb_t *utcb) L4_NOTHROW in l4_platform_ctl_cpu_enable_u() 268 l4_utcb_t *utcb) L4_NOTHROW in l4_platform_ctl_cpu_disable_u()
|
A D | vcon.h | 70 l4_vcon_send_u(l4_cap_idx_t vcon, char const *buf, unsigned size, l4_utcb_t *utcb) L4_NOTHROW; 93 l4_vcon_write_u(l4_cap_idx_t vcon, char const *buf, unsigned size, l4_utcb_t *utcb) L4_NOTHROW; 132 l4_vcon_read_u(l4_cap_idx_t vcon, char *buf, unsigned size, l4_utcb_t *utcb) L4_NOTHROW; 166 l4_utcb_t *utcb) L4_NOTHROW; 240 l4_utcb_t *utcb) L4_NOTHROW; 261 l4_utcb_t *utcb) L4_NOTHROW; 279 l4_vcon_send_u(l4_cap_idx_t vcon, char const *buf, unsigned size, l4_utcb_t *utcb) L4_NOTHROW in l4_vcon_send_u() 320 l4_utcb_t *utcb) L4_NOTHROW in l4_vcon_read_with_flags_u() 358 l4_vcon_read_u(l4_cap_idx_t vcon, char *buf, unsigned size, l4_utcb_t *utcb) L4_NOTHROW in l4_vcon_read_u() 375 l4_utcb_t *utcb) L4_NOTHROW in l4_vcon_set_attr_u() [all …]
|
A D | scheduler.h | 120 l4_sched_cpu_set_t *cpus, l4_utcb_t *utcb) L4_NOTHROW; 158 l4_sched_param_t const *sp, l4_utcb_t *utcb) L4_NOTHROW; 176 l4_kernel_clock_t *us, l4_utcb_t *utcb) L4_NOTHROW; 198 l4_utcb_t *utcb) L4_NOTHROW; 240 l4_sched_cpu_set_t *cpus, l4_utcb_t *utcb) L4_NOTHROW in l4_scheduler_info_u() 263 l4_sched_param_t const *sp, l4_utcb_t *utcb) L4_NOTHROW in l4_scheduler_run_thread_u() 279 l4_kernel_clock_t *us, l4_utcb_t *utcb) L4_NOTHROW in l4_scheduler_idle_time_u() 302 l4_utcb_t *utcb) L4_NOTHROW in l4_scheduler_is_online_u()
|
A D | kernel_object.h | 50 l4_invoke_debugger(l4_cap_idx_t obj, l4_msgtag_t tag, l4_utcb_t *utcb) L4_NOTHROW; 66 l4_kobject_dec_refcnt_u(l4_cap_idx_t obj, l4_mword_t diff, l4_utcb_t *u) L4_NOTHROW; 72 l4_kobject_dec_refcnt_u(l4_cap_idx_t obj, l4_mword_t diff, l4_utcb_t *u) L4_NOTHROW in l4_kobject_dec_refcnt_u()
|
A D | semaphore.h | 35 l4_semaphore_up_u(l4_cap_idx_t sem, l4_utcb_t *utcb) L4_NOTHROW in l4_semaphore_up_u() 48 l4_utcb_t *utcb) L4_NOTHROW; 53 l4_utcb_t *utcb) L4_NOTHROW in l4_semaphore_down_u()
|
A D | ipc_gate.h | 87 l4_ipc_gate_get_infos_u(l4_cap_idx_t gate, l4_umword_t *label, l4_utcb_t *utcb); 109 l4_utcb_t *utcb) in l4_ipc_gate_bind_thread_u() 115 l4_ipc_gate_get_infos_u(l4_cap_idx_t gate, l4_umword_t *label, l4_utcb_t *utcb) in l4_ipc_gate_get_infos_u()
|
A D | debugger | 71 l4_utcb_t *utcb = l4_utcb()) noexcept 82 unsigned long global_id(l4_utcb_t *utcb = l4_utcb()) noexcept 95 l4_utcb_t *utcb = l4_utcb()) noexcept 109 l4_utcb_t *utcb = l4_utcb()) noexcept 130 l4_utcb_t *utcb = l4_utcb()) noexcept 145 l4_utcb_t *utcb = l4_utcb()) noexcept 160 l4_utcb_t *utcb = l4_utcb()) noexcept
|
/l4re-core-master/l4sys/include/ARCH-amd64/ |
A D | segment.h | 45 unsigned int entry_number_start, l4_utcb_t *utcb); 62 unsigned int entry_number_start, l4_utcb_t *utcb); 71 fiasco_gdt_get_entry_offset(l4_cap_idx_t thread, l4_utcb_t *utcb); 102 fiasco_amd64_set_fs(l4_cap_idx_t thread, l4_umword_t base, l4_utcb_t *utcb); 130 l4_umword_t base, l4_utcb_t *utcb); 144 l4_utcb_t *utcb); 155 unsigned int entry_number_start, l4_utcb_t *utcb) in fiasco_ldt_set() 167 fiasco_gdt_get_entry_offset(l4_cap_idx_t thread, l4_utcb_t *utcb) in fiasco_gdt_get_entry_offset() 178 l4_utcb_t *utcb) in fiasco_amd64_segment_info()
|
/l4re-core-master/l4sys/include/ARCH-x86/ |
A D | segment.h | 45 unsigned int entry_number_start, l4_utcb_t *utcb); 62 unsigned int entry_number_start, l4_utcb_t *utcb); 71 fiasco_gdt_get_entry_offset(l4_cap_idx_t thread, l4_utcb_t *utcb); 95 unsigned int entry_number_start, l4_utcb_t *utcb) in fiasco_ldt_set() 107 fiasco_gdt_get_entry_offset(l4_cap_idx_t thread, l4_utcb_t *utcb) in fiasco_gdt_get_entry_offset()
|
/l4re-core-master/uclibc/lib/libpthread/include/ |
A D | pthread-l4.h | 18 static inline l4_utcb_t *pthread_l4_utcb(pthread_t t); 32 inline l4_utcb_t *utcb(pthread_t t) in utcb() 46 l4_utcb_t * 48 { return (l4_utcb_t *) t; } in pthread_l4_utcb()
|
/l4re-core-master/l4util/lib/src/ |
A D | llulc.cc | 63 explicit Lock(l4_utcb_t *u, Allocator *al) in Lock() 111 static Lock *find(l4ullulock_t *t, l4_utcb_t *u); 112 static void wakeup_others(l4ullulock_t *t, l4_utcb_t *u); 115 l4_utcb_t *_utcb; 123 Lock *Lock::find(l4ullulock_t *t, l4_utcb_t *u) in find() 139 void Lock::wakeup_others(l4ullulock_t *t, l4_utcb_t *u) in wakeup_others() 169 static Lock *create_new_thread_lock(l4ullulock_t *t, l4_utcb_t *u) in create_new_thread_lock() 239 int l4ullulock_lock(l4ullulock_t *t, l4_utcb_t *u) in l4ullulock_lock() 274 int l4ullulock_unlock(l4ullulock_t *t, l4_utcb_t *u) in l4ullulock_unlock()
|
/l4re-core-master/l4sys/include/ARCH-mips/L4API-l4f/ |
A D | thread_mips.h | 39 l4_utcb_t *utcb) L4_NOTHROW; 44 l4_utcb_t *utcb) L4_NOTHROW in l4_thread_mips_set_ulr_u() 59 l4_utcb_t *utcb) L4_NOTHROW; 63 l4_utcb_t *utcb) L4_NOTHROW in l4_thread_mips_save_vm_state_u()
|
/l4re-core-master/l4sys/include/cxx/ |
A D | ipc_server_loop | 62 { static void error(l4_msgtag_t, l4_utcb_t *) {} }; 79 static Reply_mode before_reply(l4_msgtag_t, l4_utcb_t *) 89 { static void setup_wait(l4_utcb_t *, Reply_mode) {} }; 112 void setup_wait(l4_utcb_t *utcb, Reply_mode mode) 123 Reply_mode before_reply(l4_msgtag_t, l4_utcb_t *) 260 void setup_wait(l4_utcb_t *utcb, L4::Ipc_svr::Reply_mode) 311 explicit Server(l4_utcb_t *) 330 inline L4_NORETURN void internal_loop(DISPATCH dispatch, l4_utcb_t *); 336 inline L4_NORETURN void loop_noexc(R r, l4_utcb_t *u = l4_utcb()) 347 inline L4_NORETURN void loop(R r, l4_utcb_t *u = l4_utcb()) [all …]
|
/l4re-core-master/l4sys/include/ARCH-amd64/L4API-l4f/ |
A D | segment.h | 35 fiasco_amd64_set_fs(l4_cap_idx_t thread, l4_umword_t base, l4_utcb_t *utcb) in fiasco_amd64_set_fs() 44 l4_umword_t base, l4_utcb_t *utcb) in fiasco_amd64_set_segment_base() 53 unsigned int entry_number_start, l4_utcb_t *utcb) in fiasco_gdt_set()
|
/l4re-core-master/l4sys/include/ARCH-mips/ |
A D | cache.h | 43 l4_utcb_t *u = l4_utcb(); in l4_cache_clean_data() 57 l4_utcb_t *u = l4_utcb(); in l4_cache_flush_data() 71 l4_utcb_t *u = l4_utcb(); in l4_cache_inv_data()
|
/l4re-core-master/l4sys/lib/src/ARCH-x86/ |
A D | utcb-l4x.c | 29 L4_CV l4_utcb_t *l4_utcb_wrap(void) L4_NOTHROW in l4_utcb_wrap() 31 l4_utcb_t *utcb; in l4_utcb_wrap()
|
/l4re-core-master/l4util/include/ |
A D | llulc.h | 44 int l4ullulock_lock(l4ullulock_t *t, l4_utcb_t *u DEFAULT_UTCB); 45 int l4ullulock_unlock(l4ullulock_t *t, l4_utcb_t *u DEFAULT_UTCB);
|