/l4re-core-master/l4sys/include/ |
A D | debugger.h | 260 if (l4_error_u(l4_invoke_debugger(cap, l4_msgtag(0, 1, 0, 0), utcb), utcb)) in l4_debugger_global_id_u() 262 return l4_utcb_mr_u(utcb)->mr[0]; in l4_debugger_global_id_u() 269 l4_utcb_mr_u(utcb)->mr[1] = kobjp; in l4_debugger_kobj_to_id_u() 270 if (l4_error_u(l4_invoke_debugger(cap, l4_msgtag(0, 2, 0, 0), utcb), utcb)) in l4_debugger_kobj_to_id_u() 272 return l4_utcb_mr_u(utcb)->mr[0]; in l4_debugger_kobj_to_id_u() 283 l4_utcb_mr_u(utcb)->mr[1] = idx; in l4_debugger_query_log_typeid_u() 286 e = l4_error_u(l4_invoke_debugger(cap, l4_msgtag(0, 2 + i, 0, 0), utcb), utcb); in l4_debugger_query_log_typeid_u() 289 return l4_utcb_mr_u(utcb)->mr[0]; in l4_debugger_query_log_typeid_u() 301 l4_utcb_mr_u(utcb)->mr[1] = idx; in l4_debugger_query_log_name_u() 302 e = l4_error_u(l4_invoke_debugger(cap, l4_msgtag(0, 2, 0, 0), utcb), utcb); in l4_debugger_query_log_name_u() [all …]
|
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() argument 488 l4_ipc_send(l4_cap_idx_t dest, l4_utcb_t *utcb, in l4_ipc_send() argument 496 l4_ipc_wait(l4_utcb_t *utcb, l4_umword_t *src, in l4_ipc_wait() argument 505 l4_ipc_receive(l4_cap_idx_t src, l4_utcb_t *utcb, in l4_ipc_receive() argument [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; 232 l4_utcb_t *utcb) L4_NOTHROW in l4_irq_mux_chain_u() argument 234 l4_msg_regs_t *m = l4_utcb_mr_u(utcb); 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() argument 245 l4_utcb_mr_u(utcb)->mr[0] = L4_IRQ_SENDER_OP_DETACH; in l4_irq_detach_u() 260 l4_utcb_mr_u(utcb)->mr[0] = L4_IRQ_OP_EOI; in l4_irq_receive_u() 266 l4_timeout_t to, l4_utcb_t *utcb) L4_NOTHROW in l4_irq_wait_u() argument 268 l4_utcb_mr_u(utcb)->mr[0] = L4_IRQ_OP_EOI; 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() argument [all …]
|
A D | thread.h | 704 l4_msg_regs_t *v = l4_utcb_mr_u(utcb); in l4_thread_ex_regs_u() 715 l4_msg_regs_t *v = l4_utcb_mr_u(utcb); in l4_thread_ex_regs_ret_u() 717 if (l4_error_u(ret, utcb)) in l4_thread_ex_regs_ret_u() 729 l4_msg_regs_t *v = l4_utcb_mr_u(utcb); in l4_thread_control_start_u() 736 l4_msg_regs_t *v = l4_utcb_mr_u(utcb); in l4_thread_control_pager_u() 745 l4_msg_regs_t *v = l4_utcb_mr_u(utcb); in l4_thread_control_exc_handler_u() 754 l4_msg_regs_t *v = l4_utcb_mr_u(utcb); in l4_thread_control_bind_u() 764 l4_msg_regs_t *v = l4_utcb_mr_u(utcb); in l4_thread_control_alien_u() 772 l4_msg_regs_t *v = l4_utcb_mr_u(utcb); in l4_thread_control_ux_host_syscall_u() 798 l4_msg_regs_t *v = l4_utcb_mr_u(utcb); in l4_thread_switch_u() [all …]
|
A D | icu.h | 215 l4_utcb_t *utcb) L4_NOTHROW; 282 l4_utcb_t *utcb) L4_NOTHROW; 371 l4_utcb_t *utcb) L4_NOTHROW in l4_icu_bind_u() argument 373 l4_msg_regs_t *m = l4_utcb_mr_u(utcb); in l4_icu_bind_u() 383 l4_utcb_t *utcb) L4_NOTHROW in l4_icu_unbind_u() argument 385 l4_msg_regs_t *m = l4_utcb_mr_u(utcb); in l4_icu_unbind_u() 395 l4_utcb_t *utcb) L4_NOTHROW in l4_icu_info_u() argument 398 l4_msg_regs_t *m = l4_utcb_mr_u(utcb); in l4_icu_info_u() 412 l4_msg_regs_t *m = l4_utcb_mr_u(utcb); in l4_icu_msi_info_u() 434 l4_msg_regs_t *mr = l4_utcb_mr_u(utcb); in l4_icu_set_mode_u() [all …]
|
A D | platform_control.h | 65 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() argument 197 l4_msg_regs_t *v = l4_utcb_mr_u(utcb); in l4_platform_ctl_system_suspend_u() 209 l4_msg_regs_t *v = l4_utcb_mr_u(utcb); in l4_platform_ctl_system_shutdown_u() 237 l4_msg_regs_t *v = l4_utcb_mr_u(utcb); in l4_platform_ctl_cpu_allow_shutdown_u() 256 l4_utcb_t *utcb) L4_NOTHROW in l4_platform_ctl_cpu_enable_u() argument 258 l4_msg_regs_t *v = l4_utcb_mr_u(utcb); in l4_platform_ctl_cpu_enable_u() 268 l4_utcb_t *utcb) L4_NOTHROW in l4_platform_ctl_cpu_disable_u() argument [all …]
|
A D | vcon.h | 281 l4_msg_regs_t *mr = l4_utcb_mr_u(utcb); in l4_vcon_send_u() 285 return l4_ipc_send(vcon, utcb, in l4_vcon_send_u() 305 t = l4_vcon_send_u(vcon, buf, size, utcb); in l4_vcon_write_u() 326 mr = l4_utcb_mr_u(utcb); in l4_vcon_read_with_flags_u() 329 ret = l4_error_u(l4_ipc_call(vcon, utcb, in l4_vcon_read_with_flags_u() 332 utcb); in l4_vcon_read_with_flags_u() 377 l4_msg_regs_t *mr = l4_utcb_mr_u(utcb); in l4_vcon_set_attr_u() 382 return l4_ipc_call(vcon, utcb, in l4_vcon_set_attr_u() 398 l4_msg_regs_t *mr = l4_utcb_mr_u(utcb); in l4_vcon_get_attr_u() 402 res = l4_ipc_call(vcon, utcb, in l4_vcon_get_attr_u() [all …]
|
A D | irq | 67 * \utcb{utcb} 96 * \utcb{utcb} 139 * \utcb{utcb} 151 * \utcb{utcb} 167 * \utcb{utcb} 178 * \utcb{utcb} 217 * \utcb{utcb} 289 * \utcb{utcb} 313 * \utcb{utcb} 330 * \utcb{utcb} [all …]
|
A D | scheduler.h | 120 l4_sched_cpu_set_t *cpus, 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() argument 242 l4_msg_regs_t *m = l4_utcb_mr_u(utcb); in l4_scheduler_info_u() 265 l4_msg_regs_t *m = l4_utcb_mr_u(utcb); in l4_scheduler_run_thread_u() 279 l4_kernel_clock_t *us, l4_utcb_t *utcb) L4_NOTHROW in l4_scheduler_idle_time_u() argument 281 l4_msg_regs_t *v = l4_utcb_mr_u(utcb); in l4_scheduler_idle_time_u() 288 res = l4_ipc_call(scheduler, utcb, in l4_scheduler_idle_time_u() 302 l4_utcb_t *utcb) L4_NOTHROW in l4_scheduler_is_online_u() argument [all …]
|
A D | debugger | 66 * \param utcb The UTCB to use for the operation. 77 * \param utcb The UTCB to use for the operation. 83 { return l4_debugger_global_id_u(cap(), utcb); } 89 * \param utcb The UTCB to use for the operation. 96 { return l4_debugger_kobj_to_id_u(cap(), kobjp, utcb); } 103 * \param utcb The UTCB to use for the operation. 109 l4_utcb_t *utcb = l4_utcb()) noexcept 130 l4_utcb_t *utcb = l4_utcb()) noexcept 140 * \param utcb The UTCB to use for the operation. 155 * \param utcb The UTCB to use for the operation. [all …]
|
A D | factory.h | 191 l4_utcb_t *utcb) L4_NOTHROW; 246 l4_utcb_t *utcb) L4_NOTHROW; 254 l4_utcb_t *utcb) L4_NOTHROW; 258 l4_utcb_t *utcb) L4_NOTHROW; 262 l4_utcb_t *utcb) L4_NOTHROW; 266 l4_utcb_t *utcb) L4_NOTHROW; 273 l4_utcb_t *utcb) L4_NOTHROW; 277 l4_utcb_t *utcb) L4_NOTHROW; 493 l4_msg_regs_t *v = l4_utcb_mr_u(utcb); in l4_factory_create_add_nil_u() 511 l4_utcb_t *utcb) L4_NOTHROW in l4_factory_create_u() argument [all …]
|
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() argument 37 return l4_irq_trigger_u(sem, utcb); in l4_semaphore_up_u() 48 l4_utcb_t *utcb) L4_NOTHROW; 53 l4_utcb_t *utcb) L4_NOTHROW in l4_semaphore_down_u() argument 55 l4_msg_regs_t *m = l4_utcb_mr_u(utcb); in l4_semaphore_down_u() 57 return l4_ipc_call(sem, utcb, l4_msgtag(L4_PROTO_SEMAPHORE, 1, 0, 0), to); 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() argument 111 return l4_rcv_ep_bind_thread_u(gate, thread, label, 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() argument 118 l4_msg_regs_t *m = l4_utcb_mr_u(utcb); in l4_ipc_gate_get_infos_u() 120 tag = l4_ipc_call(gate, utcb, l4_msgtag(L4_PROTO_KOBJECT, 1, 0, 0), in l4_ipc_gate_get_infos_u()
|
A D | task | 58 * \param utcb UTCB pointer of the calling thread. 74 l4_utcb_t *utcb = l4_utcb()) noexcept 83 * \param utcb UTCB pointer of the calling thread. 101 l4_utcb_t *utcb = l4_utcb()) noexcept 102 { return l4_task_unmap_u(cap(), fpage, map_mask, utcb); } 128 * \param utcb UTCB pointer of the calling thread. 140 { return l4_task_delete_obj_u(cap(), obj.cap(), utcb); } 146 * \param utcb UTCB pointer of the calling thread. 165 * \utcb{utcb} 202 * \param utcb UTCP pointer of the calling thread. [all …]
|
A D | vcon | 59 * \param utcb UTBC pointer of the calling thread. 71 { return l4_vcon_send_u(cap(), buf, size, utcb); } 78 * \param utcb UTCB pointer of the calling thread. 85 { return l4_vcon_write_u(cap(), buf, size, utcb); } 92 * \param utcb UTCB pointer of the calling thread. 102 { return l4_vcon_read_u(cap(), buf, size, utcb); } 109 * \param utcb UTCB pointer of the calling thread. 134 * \param utcb UTCB pointer of the calling thread. 140 { return l4_vcon_set_attr_u(cap(), attr, utcb); } 147 * \param utcb UTCB pointer of the calling thread. [all …]
|
/l4re-core-master/l4sys/include/ARCH-amd64/ |
A D | segment.h | 144 l4_utcb_t *utcb); 159 l4_utcb_mr_u(utcb)->mr[0] = L4_TASK_LDT_SET_X86_OP; in fiasco_ldt_set() 160 l4_utcb_mr_u(utcb)->mr[1] = entry_number_start; in fiasco_ldt_set() 161 __builtin_memcpy(&l4_utcb_mr_u(utcb)->mr[2], ldt, in fiasco_ldt_set() 163 …return l4_error_u(l4_ipc_call(task, utcb, l4_msgtag(L4_PROTO_TASK, 2 + num_desc * 2, 0, 0), L4_IPC… in fiasco_ldt_set() 169 l4_utcb_mr_u(utcb)->mr[0] = L4_THREAD_X86_GDT_OP; in fiasco_gdt_get_entry_offset() 170 …if (l4_error_u(l4_ipc_call(thread, utcb, l4_msgtag(L4_PROTO_THREAD, 1, 0, 0), L4_IPC_NEVER), utcb)) in fiasco_gdt_get_entry_offset() 172 return l4_utcb_mr_u(utcb)->mr[0]; in fiasco_gdt_get_entry_offset() 178 l4_utcb_t *utcb) in fiasco_amd64_segment_info() argument 180 l4_msg_regs_t *m = l4_utcb_mr_u(utcb); in fiasco_amd64_segment_info() [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() argument 38 l4_utcb_mr_u(utcb)->mr[1] = base; in fiasco_amd64_set_fs() 39 …return l4_error_u(l4_ipc_call(thread, utcb, l4_msgtag(L4_PROTO_THREAD, 2, 0, 0), L4_IPC_NEVER), ut… in fiasco_amd64_set_fs() 44 l4_umword_t base, l4_utcb_t *utcb) in fiasco_amd64_set_segment_base() argument 47 l4_utcb_mr_u(utcb)->mr[1] = base; in fiasco_amd64_set_segment_base() 48 …return l4_error_u(l4_ipc_call(thread, utcb, l4_msgtag(L4_PROTO_THREAD, 2, 0, 0), L4_IPC_NEVER), ut… in fiasco_amd64_set_segment_base() 53 unsigned int entry_number_start, l4_utcb_t *utcb) in fiasco_gdt_set() argument 55 l4_utcb_mr_u(utcb)->mr[0] = L4_THREAD_X86_GDT_OP; in fiasco_gdt_set() 56 l4_utcb_mr_u(utcb)->mr[1] = entry_number_start; in fiasco_gdt_set() 57 __builtin_memcpy(&l4_utcb_mr_u(utcb)->mr[2], desc, size); in fiasco_gdt_set() [all …]
|
/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() argument 99 l4_utcb_mr_u(utcb)->mr[0] = L4_TASK_LDT_SET_X86_OP; in fiasco_ldt_set() 100 l4_utcb_mr_u(utcb)->mr[1] = entry_number_start; in fiasco_ldt_set() 101 __builtin_memcpy(&l4_utcb_mr_u(utcb)->mr[2], ldt, in fiasco_ldt_set() 103 …return l4_error_u(l4_ipc_call(task, utcb, l4_msgtag(L4_PROTO_TASK, 2 + num_desc * 2, 0, 0), L4_IPC… in fiasco_ldt_set() 109 l4_utcb_mr_u(utcb)->mr[0] = L4_THREAD_X86_GDT_OP; in fiasco_gdt_get_entry_offset() 110 …if (l4_error_u(l4_ipc_call(thread, utcb, l4_msgtag(L4_PROTO_THREAD, 1, 0, 0), L4_IPC_NEVER), utcb)) in fiasco_gdt_get_entry_offset() [all …]
|
/l4re-core-master/sigma0/server/src/ |
A D | memmap.cc | 159 unsigned long pfa = l4_utcb_mr_u(utcb)->mr[0] & ~7UL; in handle_page_fault() 160 bool inst_fetch = l4_utcb_mr_u(utcb)->mr[0] & 4; in handle_page_fault() 161 bool write = l4_utcb_mr_u(utcb)->mr[0] & 2; in handle_page_fault() 194 if (!SIGMA0_IS_MAGIC_REQ(l4_utcb_mr_u(utcb)->mr[0])) in handle_sigma0_request() 260 l4_utcb_t *utcb = l4_utcb(); in pager() local 261 Answer answer(utcb); in pager() 266 tag = l4_ipc_wait(utcb, &t, L4_IPC_NEVER); in pager() 273 pfa = l4_utcb_mr_u(utcb)->mr[0]; in pager() 290 handle_sigma0_request(t, utcb, &answer); in pager() 304 handle_page_fault(t, utcb, &answer); in pager() [all …]
|
A D | memmap_internal.h | 26 { l4_utcb_mr_u(utcb)->mr[0] = (base & L4_FPAGE_CONTROL_MASK) | L4_ITEM_MAP; } in snd_base() 29 l4_utcb_t *utcb; 32 Answer(l4_utcb_t *utcb) : utcb(utcb), tag(l4_msgtag(0, 0, 0, 0)) {} in Answer() 39 l4_utcb_mr_u(utcb)->mr[1] = fp.raw; 48 l4_utcb_mr_u(utcb)->mr[0] |= L4_fpage_cached; in snd_fpage() 50 l4_utcb_mr_u(utcb)->mr[0] |= L4_fpage_uncached; in snd_fpage() 52 l4_utcb_mr_u(utcb)->mr[1] = l4_fpage(addr, size, access).raw; in snd_fpage()
|
/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() argument 46 l4_utcb_mr_u(utcb)->mr[0] = 0x10; in l4_thread_mips_set_ulr_u() 47 l4_utcb_mr_u(utcb)->mr[1] = ulr; in l4_thread_mips_set_ulr_u() 48 return l4_ipc_call(thread, utcb, 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() argument 65 l4_utcb_mr_u(utcb)->mr[0] = 0x14; in l4_thread_mips_save_vm_state_u() 66 l4_utcb_mr_u(utcb)->mr[1] = vm_state_bits; in l4_thread_mips_save_vm_state_u() 67 return l4_ipc_call(thread, utcb, in l4_thread_mips_save_vm_state_u()
|
/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() argument 38 l4_utcb_mr_u(utcb)->mr[0] = L4_THREAD_X86_GDT_OP; in fiasco_gdt_set() 39 l4_utcb_mr_u(utcb)->mr[1] = entry_number_start; in fiasco_gdt_set() 40 __builtin_memcpy(&l4_utcb_mr_u(utcb)->mr[2], desc, size); in fiasco_gdt_set() 41 …return l4_error_u(l4_ipc_call(thread, utcb, l4_msgtag(L4_PROTO_THREAD, 2 + (size >> 2), 0, 0), L4_… in fiasco_gdt_set()
|
/l4re-core-master/l4sys/lib/src/ |
A D | Makefile | 27 SRC_C_libl4sys.a = utcb.c errtostr.c $(SRC_C_libl4sys-$(ARCH)) 28 SRC_C_libl4sys.so = utcb.c errtostr.c $(SRC_C_libl4sys-$(ARCH)) 32 SRC_C_libl4sys-l4x.a = utcb.c errtostr.c $(SRC_C_libl4sys-$(ARCH)) 33 SRC_C_libl4sys-l4x.so = utcb.c errtostr.c $(SRC_C_libl4sys-$(ARCH)) 37 SRC_C_l4lx-arm = utcb.c 38 SRC_C_l4lx-amd64 = utcb.c 40 SRC_C_l4lx-mips = utcb.c 41 SRC_C_l4lx-ppc32 = utcb.c ARCH-ppc32/atomic_ops.c 42 SRC_C_l4lx-x86 = ARCH-x86/utcb-l4x.c
|
/l4re-core-master/cxx/lib/ipc/include/ |
A D | ipc_helper | 27 #include <l4/sys/utcb.h> 38 * \utcb{utcb} 42 l4_utcb_t *utcb) 46 throw (L4::Com_error(l4_error_u(err, utcb))); 55 * \utcb{utcb} 59 l4_utcb_t *utcb) 60 { throw_ipc_exception(L4::Cap<void>(o), err, utcb); }
|
/l4re-core-master/libsigma0/lib/src/ |
A D | anypage.c | 24 l4_utcb_t *utcb = l4_utcb(); in l4sigma0_map_anypage() local 25 l4_msg_regs_t *m = l4_utcb_mr_u(utcb); in l4sigma0_map_anypage() 26 l4_buf_regs_t *b = l4_utcb_br_u(utcb); in l4sigma0_map_anypage() 35 tag = l4_ipc_call(pager, utcb, tag, L4_IPC_NEVER); in l4sigma0_map_anypage() 36 if (l4_ipc_error(tag, utcb)) in l4sigma0_map_anypage()
|