/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/ |
A D | irq.h | 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() 274 l4_irq_unmask_u(l4_cap_idx_t irq, l4_utcb_t *utcb) L4_NOTHROW in l4_irq_unmask_u()
|
A D | ipc.h | 463 l4_ipc_call(l4_cap_idx_t dest, l4_utcb_t *utcb, in l4_ipc_call() 471 l4_ipc_reply_and_wait(l4_utcb_t *utcb, l4_msgtag_t tag, in l4_ipc_reply_and_wait() 479 l4_ipc_send_and_wait(l4_cap_idx_t dest, l4_utcb_t *utcb, in l4_ipc_send_and_wait() 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() 518 l4_ipc_error(l4_msgtag_t tag, l4_utcb_t *utcb) L4_NOTHROW in l4_ipc_error() 557 l4_msgtag_t *tag, l4_utcb_t *utcb) L4_NOTHROW in l4_sndfpage_add_u()
|
A D | thread.h | 702 l4_umword_t flags, l4_utcb_t *utcb) L4_NOTHROW in l4_thread_ex_regs_u() 713 l4_umword_t *flags, l4_utcb_t *utcb) L4_NOTHROW in l4_thread_ex_regs_ret_u() 727 l4_thread_control_start_u(l4_utcb_t *utcb) L4_NOTHROW in l4_thread_control_start_u() 743 l4_utcb_t *utcb) L4_NOTHROW in l4_thread_control_exc_handler_u() 752 l4_utcb_t *utcb) L4_NOTHROW in l4_thread_control_bind_u() 762 l4_thread_control_alien_u(l4_utcb_t *utcb, int on) L4_NOTHROW in l4_thread_control_alien_u() 796 l4_thread_switch_u(l4_cap_idx_t to_thread, l4_utcb_t *utcb) L4_NOTHROW in l4_thread_switch_u() 806 l4_utcb_t *utcb) L4_NOTHROW in l4_thread_stats_time_u() 824 l4_thread_vcpu_resume_start_u(l4_utcb_t *utcb) L4_NOTHROW in l4_thread_vcpu_resume_start_u() 948 l4_utcb_t *utcb) L4_NOTHROW in l4_thread_vcpu_control_u() [all …]
|
A D | platform_control.h | 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 | semaphore.h | 35 l4_semaphore_up_u(l4_cap_idx_t sem, l4_utcb_t *utcb) L4_NOTHROW in l4_semaphore_up_u() 53 l4_utcb_t *utcb) L4_NOTHROW in l4_semaphore_down_u()
|
A D | debugger.h | 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() 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() 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() 327 l4_utcb_t *utcb) L4_NOTHROW in l4_debugger_get_object_name_u()
|
A D | ipc_gate.h | 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 | icu.h | 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() 409 l4_icu_msi_info_t *msi_info, l4_utcb_t *utcb) L4_NOTHROW in l4_icu_msi_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() 458 l4_timeout_t to, l4_utcb_t *utcb) L4_NOTHROW in l4_icu_mask_u() 463 l4_timeout_t to, l4_utcb_t *utcb) L4_NOTHROW in l4_icu_unmask_u()
|
A D | vcon.h | 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() 298 l4_vcon_write_u(l4_cap_idx_t vcon, char const *buf, unsigned size, l4_utcb_t *utcb) L4_NOTHROW in l4_vcon_write_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() 395 l4_utcb_t *utcb) L4_NOTHROW in l4_vcon_get_attr_u()
|
A D | __kernel_object_impl.h | 10 l4_invoke_debugger(l4_cap_idx_t obj, l4_msgtag_t tag, l4_utcb_t *utcb) L4_NOTHROW in l4_invoke_debugger()
|
/l4re-core-master/l4sys/include/ARCH-amd64/ |
A D | segment.h | 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 | 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/l4sys/include/ARCH-mips/L4API-l4f/ |
A D | thread_mips.h | 44 l4_utcb_t *utcb) L4_NOTHROW in l4_thread_mips_set_ulr_u() 63 l4_utcb_t *utcb) L4_NOTHROW in l4_thread_mips_save_vm_state_u()
|
A D | ipc.h | 44 l4_ipc(l4_cap_idx_t dest, l4_utcb_t *utcb, in l4_ipc()
|
/l4re-core-master/l4sys/lib/src/ARCH-x86/ |
A D | utcb-l4x.c | 31 l4_utcb_t *utcb; in l4_utcb_wrap() local
|
/l4re-core-master/l4re_kernel/server/src/ |
A D | dispatcher.cc | 24 Dispatcher::dispatch(l4_msgtag_t t, l4_umword_t obj, l4_utcb_t *utcb) in dispatch()
|
/l4re-core-master/sigma0/server/src/ |
A D | memmap.cc | 157 handle_page_fault(l4_umword_t t, l4_utcb_t *utcb, Answer *answer) in handle_page_fault() 181 void handle_service_request(l4_umword_t t, l4_utcb_t *utcb, Answer *answer) in handle_service_request() 192 void handle_sigma0_request(l4_umword_t t, l4_utcb_t *utcb, Answer *answer) in handle_sigma0_request() 260 l4_utcb_t *utcb = l4_utcb(); in pager() local
|
/l4re-core-master/l4sys/include/ARCH-x86/L4API-l4f/ |
A D | segment.h | 36 unsigned int entry_number_start, l4_utcb_t *utcb) in fiasco_gdt_set()
|
/l4re-core-master/libsigma0/lib/src/ |
A D | client.c | 16 l4_utcb_t *utcb = l4_utcb(); in l4sigma0_new_client() local
|
/l4re-core-master/l4sys/include/ARCH-arm/L4API-l4f/ |
A D | ipc.h | 34 l4_ipc(l4_cap_idx_t dest, l4_utcb_t *utcb, in l4_ipc()
|
/l4re-core-master/l4sys/include/ARCH-arm/ |
A D | thread.h | 49 l4_utcb_t *utcb) L4_NOTHROW in l4_thread_arm_set_tpidruro_u()
|
/l4re-core-master/l4sys/include/ARCH-arm64/L4API-l4f/ |
A D | ipc.h | 33 l4_ipc(l4_cap_idx_t dest, l4_utcb_t *utcb, in l4_ipc()
|
/l4re-core-master/l4sys/include/ARCH-arm64/ |
A D | thread.h | 49 l4_utcb_t *utcb) L4_NOTHROW in l4_thread_arm_set_tpidruro_u()
|
/l4re-core-master/l4sys/include/ARCH-sparc/L4API-l4f/ |
A D | ipc.h | 34 l4_ipc(l4_cap_idx_t dest, l4_utcb_t *utcb, in l4_ipc()
|