/l4re-core-master/l4sys/include/ |
A D | debugger.h | 249 l4_utcb_mr_u(utcb)->mr[0] = L4_DEBUGGER_NAME_SET_OP; in l4_debugger_set_object_name_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() 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() 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() 305 n = (char const *)&l4_utcb_mr_u(utcb)->mr[0]; in l4_debugger_query_log_name_u() 318 l4_utcb_mr_u(utcb)->mr[1] = on_off; in l4_debugger_switch_log_u() 330 l4_utcb_mr_u(utcb)->mr[0] = L4_DEBUGGER_NAME_GET_OP; in l4_debugger_get_object_name_u() [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() 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() 931 l4_msg_regs_t *m = l4_utcb_mr_u(u); in l4_thread_register_del_irq_u() 978 l4_msg_regs_t *m = l4_utcb_mr_u(u); in l4_thread_modify_sender_start_u() [all …]
|
A D | platform_control.h | 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() 258 l4_msg_regs_t *v = l4_utcb_mr_u(utcb); in l4_platform_ctl_cpu_enable_u() 270 l4_msg_regs_t *v = l4_utcb_mr_u(utcb); in l4_platform_ctl_cpu_disable_u()
|
A D | irq.h | 234 l4_msg_regs_t *m = l4_utcb_mr_u(utcb); in l4_irq_mux_chain_u() 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() 268 l4_utcb_mr_u(utcb)->mr[0] = L4_IRQ_OP_EOI; in l4_irq_wait_u() 276 l4_utcb_mr_u(utcb)->mr[0] = L4_IRQ_OP_EOI; in l4_irq_unmask_u()
|
A D | task.h | 285 l4_msg_regs_t *v = l4_utcb_mr_u(u); in l4_task_map_u() 298 l4_msg_regs_t *v = l4_utcb_mr_u(u); in l4_task_unmap_u() 310 l4_msg_regs_t *v = l4_utcb_mr_u(u); in l4_task_unmap_batch_u() 320 l4_msg_regs_t *v = l4_utcb_mr_u(u); in l4_task_cap_valid_u() 330 l4_msg_regs_t *v = l4_utcb_mr_u(u); in l4_task_cap_equal_u() 341 l4_msg_regs_t *v = l4_utcb_mr_u(u); in l4_task_add_ku_mem_u()
|
A D | icu.h | 373 l4_msg_regs_t *m = l4_utcb_mr_u(utcb); in l4_icu_bind_u() 385 l4_msg_regs_t *m = l4_utcb_mr_u(utcb); in l4_icu_unbind_u() 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() 446 l4_msg_regs_t *m = l4_utcb_mr_u(utcb); in l4_icu_control_u()
|
A D | factory.h | 328 v = l4_utcb_mr_u(u); in l4_factory_create_gate_u() 406 l4_msg_regs_t *v = l4_utcb_mr_u(u); in l4_factory_create_start_u() 418 l4_msg_regs_t *v = l4_utcb_mr_u(u); in l4_factory_create_add_fpage_u() 433 l4_msg_regs_t *v = l4_utcb_mr_u(u); in l4_factory_create_add_int_u() 448 l4_msg_regs_t *v = l4_utcb_mr_u(u); in l4_factory_create_add_uint_u() 471 l4_msg_regs_t *v = l4_utcb_mr_u(u); in l4_factory_create_add_lstr_u() 493 l4_msg_regs_t *v = l4_utcb_mr_u(utcb); in l4_factory_create_add_nil_u()
|
A D | kdebug.h | 51 l4_msg_regs_t *mr = l4_utcb_mr_u(u); in __kdebug_op() 68 l4_msg_regs_t *mr = l4_utcb_mr_u(u); in __kdebug_text() 92 l4_msg_regs_t *mr = l4_utcb_mr_u(u); in __kdebug_3_text() 118 l4_msg_regs_t *mr = l4_utcb_mr_u(u); in __kdebug_op_1()
|
A D | vcon.h | 281 l4_msg_regs_t *mr = l4_utcb_mr_u(utcb); in l4_vcon_send_u() 326 mr = l4_utcb_mr_u(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() 398 l4_msg_regs_t *mr = l4_utcb_mr_u(utcb); in l4_vcon_get_attr_u()
|
A D | utcb.h | 158 L4_INLINE l4_msg_regs_t *l4_utcb_mr_u(l4_utcb_t *u) L4_NOTHROW L4_PURE; 320 L4_INLINE l4_msg_regs_t *l4_utcb_mr_u(l4_utcb_t *u) L4_NOTHROW in l4_utcb_mr_u() function 353 { return l4_utcb_mr_u(l4_utcb()); } in l4_utcb_mr()
|
A D | scheduler.h | 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() 281 l4_msg_regs_t *v = l4_utcb_mr_u(utcb); in l4_scheduler_idle_time_u()
|
A D | __kernel_object_impl.h | 14 l4_msg_regs_t *mr = l4_utcb_mr_u(utcb); in l4_invoke_debugger()
|
A D | __task-arm.h | 49 l4_msg_regs_t *v = l4_utcb_mr_u(u); in l4_task_vgicc_map_u()
|
/l4re-core-master/l4sys/include/ARCH-amd64/L4API-l4f/ |
A D | segment.h | 37 …l4_utcb_mr_u(utcb)->mr[0] = L4_THREAD_AMD64_SET_SEGMENT_BASE_OP | ((l4_umword_t)L4_AMD64_SEGMENT_F… in fiasco_amd64_set_fs() 38 l4_utcb_mr_u(utcb)->mr[1] = base; in fiasco_amd64_set_fs() 46 l4_utcb_mr_u(utcb)->mr[0] = L4_THREAD_AMD64_SET_SEGMENT_BASE_OP | ((l4_umword_t)segr << 16); in fiasco_amd64_set_segment_base() 47 l4_utcb_mr_u(utcb)->mr[1] = base; in fiasco_amd64_set_segment_base() 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()
|
/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() 183 if ((long)l4_utcb_mr_u(utcb)->mr[0] != L4_PROTO_SIGMA0) in handle_service_request() 194 if (!SIGMA0_IS_MAGIC_REQ(l4_utcb_mr_u(utcb)->mr[0])) in handle_sigma0_request() 200 switch (l4_utcb_mr_u(utcb)->mr[0] & SIGMA0_REQ_ID_MASK) in handle_sigma0_request() 273 pfa = l4_utcb_mr_u(utcb)->mr[0]; in pager() 280 l4_umword_t d1 = l4_utcb_mr_u(utcb)->mr[0]; in pager() 281 l4_umword_t d2 = l4_utcb_mr_u(utcb)->mr[1]; in pager() 332 << L4::hex << l4_utcb_mr_u(utcb)->mr[0] 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() 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()
|
A D | ioports_x86.cc | 37 l4_fpage_t fp = (l4_fpage_t&)l4_utcb_mr_u(utcb)->mr[0]; in handle_io_page_fault()
|
/l4re-core-master/l4sys/include/ARCH-x86/ |
A D | segment.h | 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() 109 l4_utcb_mr_u(utcb)->mr[0] = L4_THREAD_X86_GDT_OP; in fiasco_gdt_get_entry_offset() 112 return l4_utcb_mr_u(utcb)->mr[0]; in fiasco_gdt_get_entry_offset()
|
/l4re-core-master/l4sys/include/ARCH-amd64/ |
A D | segment.h | 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() 169 l4_utcb_mr_u(utcb)->mr[0] = L4_THREAD_X86_GDT_OP; in fiasco_gdt_get_entry_offset() 172 return l4_utcb_mr_u(utcb)->mr[0]; in fiasco_gdt_get_entry_offset() 180 l4_msg_regs_t *m = l4_utcb_mr_u(utcb); in fiasco_amd64_segment_info()
|
/l4re-core-master/l4sys/include/ARCH-mips/L4API-l4f/ |
A D | thread_mips.h | 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() 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()
|
/l4re-core-master/l4sys/include/ARCH-x86/L4API-l4f/ |
A D | segment.h | 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()
|
/l4re-core-master/l4sys/include/ARCH-mips/ |
A D | cache.h | 44 l4_msg_regs_t *mr = l4_utcb_mr_u(u); in l4_cache_clean_data() 58 l4_msg_regs_t *mr = l4_utcb_mr_u(u); in l4_cache_flush_data() 72 l4_msg_regs_t *mr = l4_utcb_mr_u(u); in l4_cache_inv_data()
|
/l4re-core-master/libsigma0/lib/src/ |
A D | client.c | 17 l4_msg_regs_t *m = l4_utcb_mr_u(utcb); in l4sigma0_new_client()
|
/l4re-core-master/l4sys/include/ARCH-arm/ |
A D | thread.h | 51 l4_msg_regs_t *v = l4_utcb_mr_u(utcb); in l4_thread_arm_set_tpidruro_u()
|
/l4re-core-master/l4sys/include/ARCH-arm64/ |
A D | thread.h | 51 l4_msg_regs_t *v = l4_utcb_mr_u(utcb); in l4_thread_arm_set_tpidruro_u()
|