Home
last modified time | relevance | path

Searched refs:l4_cap_idx_t (Results 1 – 25 of 112) sorted by relevance

12345

/l4re-core-master/l4sys/include/
A Dtask.h65 l4_task_map(l4_cap_idx_t dst_task, l4_cap_idx_t src_task,
72 l4_task_map_u(l4_cap_idx_t dst_task, l4_cap_idx_t src_task,
163 l4_task_delete_obj_u(l4_cap_idx_t task, l4_cap_idx_t obj,
189 l4_task_release_cap_u(l4_cap_idx_t task, l4_cap_idx_t cap,
231 l4_task_cap_equal(l4_cap_idx_t task, l4_cap_idx_t cap_a,
258 l4_task_cap_equal_u(l4_cap_idx_t task, l4_cap_idx_t cap_a,
327 l4_task_cap_equal_u(l4_cap_idx_t task, l4_cap_idx_t cap_a, in l4_task_cap_equal_u()
350 l4_task_map(l4_cap_idx_t dst_task, l4_cap_idx_t src_task, in l4_task_map()
372 l4_task_delete_obj_u(l4_cap_idx_t task, l4_cap_idx_t obj, in l4_task_delete_obj_u()
387 l4_task_release_cap_u(l4_cap_idx_t task, l4_cap_idx_t cap, in l4_task_release_cap_u()
[all …]
A Dfactory.h87 l4_factory_create_task(l4_cap_idx_t factory,
97 l4_factory_create_task_u(l4_cap_idx_t factory, l4_cap_idx_t target_cap,
139 l4_factory_create_factory(l4_cap_idx_t factory, l4_cap_idx_t target_cap,
149 l4_factory_create_factory_u(l4_cap_idx_t factory, l4_cap_idx_t target_cap,
177 l4_factory_create_gate(l4_cap_idx_t factory,
206 l4_factory_create_irq(l4_cap_idx_t factory,
231 l4_factory_create_vm(l4_cap_idx_t factory,
276 l4_factory_create_u(l4_cap_idx_t factory, long obj, l4_cap_idx_t target,
389 l4_factory_create_irq(l4_cap_idx_t factory, in l4_factory_create_irq()
396 l4_factory_create_vm(l4_cap_idx_t factory, in l4_factory_create_vm()
[all …]
A Dirq.h73 l4_irq_mux_chain(l4_cap_idx_t irq, l4_cap_idx_t slave) L4_NOTHROW;
82 l4_irq_mux_chain_u(l4_cap_idx_t irq, l4_cap_idx_t slave,
94 l4_irq_detach(l4_cap_idx_t irq) L4_NOTHROW;
122 l4_irq_trigger(l4_cap_idx_t irq) L4_NOTHROW;
165 l4_irq_wait(l4_cap_idx_t irq, l4_umword_t *label,
189 l4_irq_unmask(l4_cap_idx_t irq) L4_NOTHROW;
231 l4_irq_mux_chain_u(l4_cap_idx_t irq, l4_cap_idx_t slave, in l4_irq_mux_chain_u()
282 l4_irq_mux_chain(l4_cap_idx_t irq, l4_cap_idx_t slave) L4_NOTHROW in l4_irq_mux_chain()
288 l4_irq_detach(l4_cap_idx_t irq) L4_NOTHROW in l4_irq_detach()
294 l4_irq_trigger(l4_cap_idx_t irq) L4_NOTHROW in l4_irq_trigger()
[all …]
A Dicu.h205 l4_icu_bind(l4_cap_idx_t icu, unsigned irqnum, l4_cap_idx_t irq) L4_NOTHROW;
214 l4_icu_bind_u(l4_cap_idx_t icu, unsigned irqnum, l4_cap_idx_t irq,
228 l4_icu_unbind(l4_cap_idx_t icu, unsigned irqnum, l4_cap_idx_t irq) L4_NOTHROW;
237 l4_icu_unbind_u(l4_cap_idx_t icu, unsigned irqnum, l4_cap_idx_t irq,
272 l4_icu_info(l4_cap_idx_t icu, l4_icu_info_t *info) L4_NOTHROW;
281 l4_icu_info_u(l4_cap_idx_t icu, l4_icu_info_t *info,
370 l4_icu_bind_u(l4_cap_idx_t icu, unsigned irqnum, l4_cap_idx_t irq, in l4_icu_bind_u()
382 l4_icu_unbind_u(l4_cap_idx_t icu, unsigned irqnum, l4_cap_idx_t irq, in l4_icu_unbind_u()
394 l4_icu_info_u(l4_cap_idx_t icu, l4_icu_info_t *info, in l4_icu_info_u()
470 l4_icu_bind(l4_cap_idx_t icu, unsigned irqnum, l4_cap_idx_t irq) L4_NOTHROW in l4_icu_bind()
[all …]
A Dthread.h259 l4_cap_idx_t task) L4_NOTHROW;
350 l4_thread_switch(l4_cap_idx_t to_thread) L4_NOTHROW;
429 l4_thread_vcpu_resume_commit(l4_cap_idx_t thread,
437 l4_thread_vcpu_resume_commit_u(l4_cap_idx_t thread,
521 l4_thread_register_del_irq(l4_cap_idx_t thread, l4_cap_idx_t irq) L4_NOTHROW;
528 l4_thread_register_del_irq_u(l4_cap_idx_t thread, l4_cap_idx_t irq,
832 l4_thread_vcpu_resume_commit_u(l4_cap_idx_t thread, in l4_thread_vcpu_resume_commit_u()
899 l4_thread_switch(l4_cap_idx_t to_thread) L4_NOTHROW in l4_thread_switch()
920 l4_thread_vcpu_resume_commit(l4_cap_idx_t thread, in l4_thread_vcpu_resume_commit()
928 l4_thread_register_del_irq_u(l4_cap_idx_t thread, l4_cap_idx_t irq, in l4_thread_register_del_irq_u()
[all …]
A Ddebugger.h74 l4_debugger_get_object_name(l4_cap_idx_t cap, unsigned id,
81 l4_debugger_get_object_name_u(l4_cap_idx_t cap, unsigned id,
97 l4_debugger_global_id(l4_cap_idx_t cap) L4_NOTHROW;
164 l4_debugger_query_log_name(l4_cap_idx_t cap, unsigned idx,
187 l4_debugger_switch_log(l4_cap_idx_t cap, const char *name,
245 l4_debugger_set_object_name_u(l4_cap_idx_t cap, in l4_debugger_set_object_name_u()
339 l4_debugger_set_object_name(l4_cap_idx_t cap, in l4_debugger_set_object_name()
346 l4_debugger_global_id(l4_cap_idx_t cap) L4_NOTHROW in l4_debugger_global_id()
365 l4_debugger_query_log_name(l4_cap_idx_t cap, unsigned idx, in l4_debugger_query_log_name()
374 l4_debugger_switch_log(l4_cap_idx_t cap, const char *name, in l4_debugger_switch_log()
[all …]
A Dplatform_control.h56 l4_platform_ctl_system_suspend(l4_cap_idx_t pfc,
63 l4_platform_ctl_system_suspend_u(l4_cap_idx_t pfc,
77 l4_platform_ctl_system_shutdown(l4_cap_idx_t pfc,
121 l4_platform_ctl_cpu_enable(l4_cap_idx_t pfc,
128 l4_platform_ctl_cpu_enable_u(l4_cap_idx_t pfc,
143 l4_platform_ctl_cpu_disable(l4_cap_idx_t pfc,
150 l4_platform_ctl_cpu_disable_u(l4_cap_idx_t pfc,
254 l4_platform_ctl_cpu_enable_u(l4_cap_idx_t pfc, in l4_platform_ctl_cpu_enable_u()
266 l4_platform_ctl_cpu_disable_u(l4_cap_idx_t pfc, in l4_platform_ctl_cpu_disable_u()
278 l4_platform_ctl_cpu_enable(l4_cap_idx_t pfc, in l4_platform_ctl_cpu_enable()
[all …]
A Dvcon.h61 l4_vcon_send(l4_cap_idx_t vcon, char const *buf, unsigned size) L4_NOTHROW;
123 l4_vcon_read(l4_cap_idx_t vcon, char *buf, unsigned size) L4_NOTHROW;
165 l4_vcon_read_with_flags_u(l4_cap_idx_t vcon, char *buf, unsigned size,
239 l4_vcon_set_attr_u(l4_cap_idx_t vcon, l4_vcon_attr_t const *attr,
251 l4_vcon_get_attr(l4_cap_idx_t vcon, l4_vcon_attr_t *attr) L4_NOTHROW;
260 l4_vcon_get_attr_u(l4_cap_idx_t vcon, l4_vcon_attr_t *attr,
319 l4_vcon_read_with_flags_u(l4_cap_idx_t vcon, char *buf, unsigned size, in l4_vcon_read_with_flags_u()
368 l4_vcon_read(l4_cap_idx_t vcon, char *buf, unsigned size) L4_NOTHROW in l4_vcon_read()
374 l4_vcon_set_attr_u(l4_cap_idx_t vcon, l4_vcon_attr_t const *attr, in l4_vcon_set_attr_u()
394 l4_vcon_get_attr_u(l4_cap_idx_t vcon, l4_vcon_attr_t *attr, in l4_vcon_get_attr_u()
[all …]
A Dscheduler.h112 l4_scheduler_info(l4_cap_idx_t scheduler, l4_umword_t *cpu_max,
119 l4_scheduler_info_u(l4_cap_idx_t scheduler, l4_umword_t *cpu_max,
150 l4_scheduler_run_thread(l4_cap_idx_t scheduler,
157 l4_scheduler_run_thread_u(l4_cap_idx_t scheduler, l4_cap_idx_t thread,
191 l4_scheduler_is_online(l4_cap_idx_t scheduler, l4_umword_t cpu) L4_NOTHROW;
197 l4_scheduler_is_online_u(l4_cap_idx_t scheduler, l4_umword_t cpu,
239 l4_scheduler_info_u(l4_cap_idx_t scheduler, l4_umword_t *cpu_max, in l4_scheduler_info_u()
262 l4_scheduler_run_thread_u(l4_cap_idx_t scheduler, l4_cap_idx_t thread, in l4_scheduler_run_thread_u()
301 l4_scheduler_is_online_u(l4_cap_idx_t scheduler, l4_umword_t cpu, in l4_scheduler_is_online_u()
316 l4_scheduler_info(l4_cap_idx_t scheduler, l4_umword_t *cpu_max, in l4_scheduler_info()
[all …]
A Drcv_endpoint.h44 l4_rcv_ep_bind_thread(l4_cap_idx_t ep, l4_cap_idx_t thread,
52 l4_rcv_ep_bind_thread_u(l4_cap_idx_t ep, l4_cap_idx_t thread,
66 l4_rcv_ep_bind_thread_u(l4_cap_idx_t ep, in l4_rcv_ep_bind_thread_u()
67 l4_cap_idx_t thread, l4_umword_t label, in l4_rcv_ep_bind_thread_u()
80 l4_rcv_ep_bind_thread(l4_cap_idx_t ep, l4_cap_idx_t thread, in l4_rcv_ep_bind_thread()
A Dipc_gate.h80 l4_ipc_gate_get_infos(l4_cap_idx_t gate, l4_umword_t *label);
87 l4_ipc_gate_get_infos_u(l4_cap_idx_t gate, l4_umword_t *label, l4_utcb_t *utcb);
107 l4_ipc_gate_bind_thread_u(l4_cap_idx_t gate, in l4_ipc_gate_bind_thread_u()
108 l4_cap_idx_t thread, l4_umword_t label, 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()
131 l4_ipc_gate_bind_thread(l4_cap_idx_t gate, l4_cap_idx_t thread, in l4_ipc_gate_bind_thread()
138 l4_ipc_gate_get_infos(l4_cap_idx_t gate, l4_umword_t *label) in l4_ipc_gate_get_infos()
A Dtypes.h342 typedef unsigned long l4_cap_idx_t; typedef
353 L4_INLINE unsigned l4_is_invalid_cap(l4_cap_idx_t c) L4_NOTHROW;
364 L4_INLINE unsigned l4_is_valid_cap(l4_cap_idx_t c) L4_NOTHROW;
376 L4_INLINE unsigned l4_capability_equal(l4_cap_idx_t c1, l4_cap_idx_t c2) L4_NOTHROW;
386 L4_INLINE l4_cap_idx_t l4_capability_next(l4_cap_idx_t c) L4_NOTHROW;
392 l4_is_invalid_cap(l4_cap_idx_t c) L4_NOTHROW in l4_is_invalid_cap()
396 l4_is_valid_cap(l4_cap_idx_t c) L4_NOTHROW in l4_is_valid_cap()
400 l4_capability_equal(l4_cap_idx_t c1, l4_cap_idx_t c2) L4_NOTHROW in l4_capability_equal()
460 L4_INLINE l4_cap_idx_t l4_capability_next(l4_cap_idx_t c) L4_NOTHROW in l4_capability_next()
A Dsemaphore.h29 l4_semaphore_up(l4_cap_idx_t sem) L4_NOTHROW in l4_semaphore_up()
35 l4_semaphore_up_u(l4_cap_idx_t sem, l4_utcb_t *utcb) L4_NOTHROW in l4_semaphore_up_u()
41 l4_semaphore_down(l4_cap_idx_t sem, l4_timeout_t to) L4_NOTHROW;
47 l4_semaphore_down_u(l4_cap_idx_t sem, l4_timeout_t to,
52 l4_semaphore_down_u(l4_cap_idx_t sem, l4_timeout_t to, in l4_semaphore_down_u()
62 l4_semaphore_down(l4_cap_idx_t sem, l4_timeout_t to) L4_NOTHROW in l4_semaphore_down()
A Dkernel_object.h50 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;
69 l4_kobject_dec_refcnt(l4_cap_idx_t obj, l4_mword_t diff) 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()
81 l4_kobject_dec_refcnt(l4_cap_idx_t obj, l4_mword_t diff) L4_NOTHROW in l4_kobject_dec_refcnt()
/l4re-core-master/l4re/include/
A Denv.h55 l4_cap_idx_t cap;
81 l4re_env_cap_entry_t(char const *n, l4_cap_idx_t c, l4_umword_t f = 0) L4_NOTHROW
111 l4_cap_idx_t parent; /**< Parent object-capability */
112 l4_cap_idx_t rm; /**< Region map object-capability */
113 l4_cap_idx_t mem_alloc; /**< Memory allocator object-capability */
114 l4_cap_idx_t log; /**< Logging object-capability */
115 l4_cap_idx_t main_thread; /**< Object-capability of the first user thread */
157 L4_INLINE l4_cap_idx_t
168 L4_INLINE l4_cap_idx_t
213 L4_INLINE l4_cap_idx_t
[all …]
/l4re-core-master/l4sys/include/ARCH-mips/L4API-l4f/
A Dthread_mips.h16 l4_thread_mips_set_ulr(l4_cap_idx_t thread, l4_umword_t ulr) L4_NOTHROW;
31 l4_thread_mips_save_vm_state(l4_cap_idx_t thread,
38 l4_thread_mips_set_ulr_u(l4_cap_idx_t thread, l4_umword_t ulr,
43 l4_thread_mips_set_ulr_u(l4_cap_idx_t thread, l4_umword_t ulr, in l4_thread_mips_set_ulr_u()
54 l4_thread_mips_set_ulr(l4_cap_idx_t thread, l4_umword_t ulr) L4_NOTHROW in l4_thread_mips_set_ulr()
58 l4_thread_mips_save_vm_state_u(l4_cap_idx_t thread, l4_umword_t vm_state_bits,
62 l4_thread_mips_save_vm_state_u(l4_cap_idx_t thread, l4_umword_t vm_state_bits, in l4_thread_mips_save_vm_state_u()
73 l4_thread_mips_save_vm_state(l4_cap_idx_t thread, in l4_thread_mips_save_vm_state()
/l4re-core-master/l4sys/include/ARCH-amd64/
A Dsegment.h44 fiasco_ldt_set(l4_cap_idx_t task, void *ldt, unsigned int num_desc,
61 fiasco_gdt_set(l4_cap_idx_t thread, void *desc, unsigned int size,
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);
129 fiasco_amd64_set_segment_base(l4_cap_idx_t thread, enum L4_sys_segment segr,
142 fiasco_amd64_segment_info(l4_cap_idx_t thread, unsigned *user_ds,
154 fiasco_ldt_set(l4_cap_idx_t task, void *ldt, unsigned int num_desc, 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()
176 fiasco_amd64_segment_info(l4_cap_idx_t thread, unsigned *user_ds, in fiasco_amd64_segment_info()
/l4re-core-master/l4re_c/include/
A Drm.h153 l4re_rm_detach_unmap(l4_addr_t addr, l4_cap_idx_t task) L4_NOTHROW;
169 l4_cap_idx_t task) L4_NOTHROW;
203 l4re_rm_reserve_area_srv(l4_cap_idx_t rm, l4_addr_t *start, unsigned long size,
211 l4re_rm_free_area_srv(l4_cap_idx_t rm, l4_addr_t addr) L4_NOTHROW;
218 l4re_rm_attach_srv(l4_cap_idx_t rm, void **start, unsigned long size,
229 l4re_rm_detach_srv(l4_cap_idx_t rm, l4_addr_t addr,
230 l4re_ds_t *ds, l4_cap_idx_t task) L4_NOTHROW;
238 l4re_rm_find_srv(l4_cap_idx_t rm, l4_addr_t *addr,
247 l4re_rm_show_lists_srv(l4_cap_idx_t rm) L4_NOTHROW;
284 l4re_rm_detach_unmap(l4_addr_t addr, l4_cap_idx_t task) L4_NOTHROW in l4re_rm_detach_unmap()
[all …]
A Devent.h61 l4re_event_get_buffer(const l4_cap_idx_t server,
75 l4re_event_get_num_streams(const l4_cap_idx_t server) L4_NOTHROW;
90 l4re_event_get_stream_info(const l4_cap_idx_t server,
106 l4re_event_get_stream_info_for_id(const l4_cap_idx_t server,
126 l4re_event_get_axis_info(const l4_cap_idx_t server, l4_umword_t id,
A Dnamespace.h53 typedef l4_cap_idx_t l4re_namespace_t;
67 l4_cap_idx_t const cap, int timeout) L4_NOTHROW;
87 l4_cap_idx_t const cap) L4_NOTHROW;
98 l4_cap_idx_t const obj, unsigned flags) L4_NOTHROW;
106 l4_cap_idx_t const cap) L4_NOTHROW in l4re_ns_query_srv()
/l4re-core-master/libsigma0/include/
A Dsigma0.h100 l4sigma0_map_kip(l4_cap_idx_t sigma0, void *addr, unsigned log2_size);
131 L4_CV int l4sigma0_map_mem(l4_cap_idx_t sigma0,
156 L4_CV int l4sigma0_map_iomem(l4_cap_idx_t sigma0, l4_addr_t phys,
182 L4_CV int l4sigma0_map_anypage(l4_cap_idx_t sigma0, l4_addr_t map_area,
194 L4_CV void l4sigma0_debug_dump(l4_cap_idx_t sigma0);
206 L4_CV int l4sigma0_new_client(l4_cap_idx_t sigma0, l4_cap_idx_t gate);
/l4re-core-master/l4util/include/
A Dthread.h47 l4util_create_thread(l4_cap_idx_t id, l4_utcb_t *thread_utcb,
48 l4_cap_idx_t factory,
49 l4_umword_t pc, l4_umword_t sp, l4_cap_idx_t pager,
50 l4_cap_idx_t task,
51 l4_cap_idx_t scheduler, l4_sched_param_t scp) L4_NOTHROW;
/l4re-core-master/l4re_c/lib/src/
A Devent.cc24 l4re_event_get_buffer(const l4_cap_idx_t server, in l4re_event_get_buffer()
25 const l4_cap_idx_t ds) L4_NOTHROW in l4re_event_get_buffer()
33 l4re_event_get_num_streams(const l4_cap_idx_t server) L4_NOTHROW in l4re_event_get_num_streams()
41 l4re_event_get_stream_info(const l4_cap_idx_t server, in l4re_event_get_stream_info()
49 l4re_event_get_stream_info_for_id(const l4_cap_idx_t server, l4_umword_t id, in l4re_event_get_stream_info_for_id()
57 l4re_event_get_axis_info(const l4_cap_idx_t server, l4_umword_t id, in l4re_event_get_axis_info()
A Drm.cc30 l4re_rm_reserve_area_srv(l4_cap_idx_t rm, l4_addr_t *start, unsigned long size, in l4re_rm_reserve_area_srv()
38 l4re_rm_free_area_srv(l4_cap_idx_t rm, l4_addr_t addr) L4_NOTHROW in l4re_rm_free_area_srv()
45 l4re_rm_attach_srv(l4_cap_idx_t rm, void **start, unsigned long size, in l4re_rm_attach_srv()
57 l4re_rm_detach_srv(l4_cap_idx_t rm, l4_addr_t addr, l4re_ds_t *ds, in l4re_rm_detach_srv()
58 l4_cap_idx_t task) L4_NOTHROW in l4re_rm_detach_srv()
71 l4re_rm_find_srv(l4_cap_idx_t rm, l4_addr_t *addr, in l4re_rm_find_srv()
86 l4re_rm_show_lists_srv(l4_cap_idx_t rm) L4_NOTHROW in l4re_rm_show_lists_srv()
/l4re-core-master/l4util/lib/src/
A Dthread.c21 l4util_create_thread(l4_cap_idx_t id, l4_utcb_t *thread_utcb, in l4util_create_thread()
22 l4_cap_idx_t factory, in l4util_create_thread()
23 l4_umword_t pc, l4_umword_t sp, l4_cap_idx_t pager, in l4util_create_thread()
24 l4_cap_idx_t task, in l4util_create_thread()
25 l4_cap_idx_t scheduler, l4_sched_param_t scp) L4_NOTHROW in l4util_create_thread()

Completed in 37 milliseconds

12345