/l4re-core-master/l4sys/include/ |
A D | kdebug.h | 54 mr->mr[0] = op; in __kdebug_op() 58 mr->mr[0] = mr0; in __kdebug_op() 74 mr->mr[0] = op; in __kdebug_text() 75 mr->mr[1] = len; in __kdebug_text() 98 mr->mr[0] = op; in __kdebug_3_text() 99 mr->mr[1] = v1; in __kdebug_3_text() 100 mr->mr[2] = v2; in __kdebug_3_text() 101 mr->mr[3] = v3; in __kdebug_3_text() 102 mr->mr[4] = len; in __kdebug_3_text() 122 mr->mr[0] = op; in __kdebug_op_1() [all …]
|
A D | vcon.h | 282 mr->mr[0] = L4_VCON_WRITE_OP; in l4_vcon_send_u() 283 mr->mr[1] = size; in l4_vcon_send_u() 284 __builtin_memcpy(&mr->mr[2], buf, size); in l4_vcon_send_u() 327 mr->mr[0] = (size << 16) | L4_VCON_READ_OP; in l4_vcon_read_with_flags_u() 336 r = mr->mr[0] & L4_VCON_READ_SIZE_MASK; in l4_vcon_read_with_flags_u() 338 if (!(mr->mr[0] & L4_VCON_READ_STAT_DONE)) // !eof in l4_vcon_read_with_flags_u() 346 __builtin_memcpy(buf, &mr->mr[1], r < size ? r : size); in l4_vcon_read_with_flags_u() 379 mr->mr[0] = L4_VCON_SET_ATTR_OP; in l4_vcon_set_attr_u() 380 __builtin_memcpy(&mr->mr[1], attr, sizeof(*attr)); in l4_vcon_set_attr_u() 400 mr->mr[0] = L4_VCON_GET_ATTR_OP; in l4_vcon_get_attr_u() [all …]
|
A D | icu.h | 374 m->mr[0] = L4_ICU_OP_BIND; in l4_icu_bind_u() 375 m->mr[1] = irqnum; in l4_icu_bind_u() 387 m->mr[1] = irqnum; in l4_icu_unbind_u() 399 m->mr[0] = L4_ICU_OP_INFO; in l4_icu_info_u() 401 info->features = m->mr[0]; in l4_icu_info_u() 402 info->nr_irqs = m->mr[1]; in l4_icu_info_u() 414 m->mr[1] = irqnum; in l4_icu_msi_info_u() 435 mr->mr[0] = L4_ICU_OP_SET_MODE; in l4_icu_set_mode_u() 436 mr->mr[1] = irqnum; in l4_icu_set_mode_u() 437 mr->mr[2] = mode; in l4_icu_set_mode_u() [all …]
|
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 | arm_smccc.h | 54 v->mr[0] = func; in l4_arm_smccc_call_u() 55 v->mr[1] = in0; in l4_arm_smccc_call_u() 56 v->mr[2] = in1; in l4_arm_smccc_call_u() 57 v->mr[3] = in2; in l4_arm_smccc_call_u() 58 v->mr[4] = in3; in l4_arm_smccc_call_u() 59 v->mr[5] = in4; in l4_arm_smccc_call_u() 60 v->mr[6] = in5; in l4_arm_smccc_call_u() 61 v->mr[7] = client_id; in l4_arm_smccc_call_u() 68 *out0 = v->mr[0]; in l4_arm_smccc_call_u() 69 *out1 = v->mr[1]; in l4_arm_smccc_call_u() [all …]
|
A D | thread.h | 706 v->mr[1] = ip; in l4_thread_ex_regs_u() 707 v->mr[2] = sp; in l4_thread_ex_regs_u() 720 *flags = v->mr[0]; in l4_thread_ex_regs_ret_u() 721 *ip = v->mr[1]; in l4_thread_ex_regs_ret_u() 722 *sp = v->mr[2]; in l4_thread_ex_regs_ret_u() 952 v->mr[1] = vcpu_state; in l4_thread_vcpu_control_u() 967 v->mr[1] = ext_vcpu_state; in l4_thread_vcpu_control_ext_u() 995 m->mr[w] = match_mask; in l4_thread_modify_sender_add_u() 996 m->mr[w+1] = match; in l4_thread_modify_sender_add_u() 997 m->mr[w+2] = del_bits; in l4_thread_modify_sender_add_u() [all …]
|
A D | __kernel_object_impl.h | 14 l4_msg_regs_t *mr = l4_utcb_mr_u(utcb); in l4_invoke_debugger() local 22 mr->mr[0] += 0x100; in l4_invoke_debugger() 23 mr->mr[words] = L4_ITEM_MAP; in l4_invoke_debugger() 24 mr->mr[words + 1] = l4_obj_fpage(obj, 0, L4_CAP_FPAGE_RWS).raw; in l4_invoke_debugger()
|
A D | task.h | 286 v->mr[0] = L4_TASK_MAP_OP; in l4_task_map_u() 289 v->mr[1] = snd_base; in l4_task_map_u() 290 v->mr[2] = snd_fpage.raw; in l4_task_map_u() 299 v->mr[0] = L4_TASK_UNMAP_OP; in l4_task_unmap_u() 300 v->mr[1] = map_mask; in l4_task_unmap_u() 301 v->mr[2] = fpage.raw; in l4_task_unmap_u() 312 v->mr[1] = map_mask; in l4_task_unmap_batch_u() 322 v->mr[1] = cap & ~1UL; in l4_task_cap_valid_u() 332 v->mr[1] = cap_a; in l4_task_cap_equal_u() 333 v->mr[2] = cap_b; in l4_task_cap_equal_u() [all …]
|
A D | scheduler.h | 245 m->mr[0] = L4_SCHEDULER_INFO_OP; in l4_scheduler_info_u() 246 m->mr[1] = cpus->gran_offset; in l4_scheduler_info_u() 253 cpus->map = m->mr[0]; in l4_scheduler_info_u() 256 *cpu_max = m->mr[1]; in l4_scheduler_info_u() 267 m->mr[1] = sp->affinity.gran_offset; in l4_scheduler_run_thread_u() 268 m->mr[2] = sp->affinity.map; in l4_scheduler_run_thread_u() 269 m->mr[3] = sp->prio; in l4_scheduler_run_thread_u() 270 m->mr[4] = sp->quantum; in l4_scheduler_run_thread_u() 271 m->mr[5] = l4_map_obj_control(0, 0); in l4_scheduler_run_thread_u() 285 v->mr[1] = cpus->gran_offset; in l4_scheduler_idle_time_u() [all …]
|
A D | platform_control.h | 198 v->mr[0] = L4_PLATFORM_CTL_SYS_SUSPEND_OP; in l4_platform_ctl_system_suspend_u() 199 v->mr[1] = extras; in l4_platform_ctl_system_suspend_u() 210 v->mr[0] = L4_PLATFORM_CTL_SYS_SHUTDOWN_OP; in l4_platform_ctl_system_shutdown_u() 211 v->mr[1] = reboot; in l4_platform_ctl_system_shutdown_u() 238 v->mr[0] = L4_PLATFORM_CTL_CPU_ALLOW_SHUTDOWN_OP; in l4_platform_ctl_cpu_allow_shutdown_u() 239 v->mr[1] = phys_id; in l4_platform_ctl_cpu_allow_shutdown_u() 240 v->mr[2] = enable; in l4_platform_ctl_cpu_allow_shutdown_u() 259 v->mr[0] = L4_PLATFORM_CTL_CPU_ENABLE_OP; in l4_platform_ctl_cpu_enable_u() 260 v->mr[1] = phys_id; in l4_platform_ctl_cpu_enable_u() 271 v->mr[0] = L4_PLATFORM_CTL_CPU_DISABLE_OP; in l4_platform_ctl_cpu_disable_u() [all …]
|
A D | irq.h | 235 m->mr[0] = L4_IRQ_MUX_OP_CHAIN; in l4_irq_mux_chain_u() 236 m->mr[1] = l4_map_obj_control(0, 0); in l4_irq_mux_chain_u() 237 m->mr[2] = l4_obj_fpage(slave, 0, L4_CAP_FPAGE_RWS).raw; 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 | rcv_endpoint.h | 71 m->mr[0] = L4_RCV_EP_BIND_OP; in l4_rcv_ep_bind_thread_u() 72 m->mr[1] = label; in l4_rcv_ep_bind_thread_u() 73 m->mr[2] = l4_map_obj_control(0, 0); in l4_rcv_ep_bind_thread_u() 74 m->mr[3] = l4_obj_fpage(thread, 0, L4_CAP_FPAGE_RWS).raw; in l4_rcv_ep_bind_thread_u()
|
A D | factory.h | 332 v->mr[3] = l4_map_obj_control(0,0); in l4_factory_create_gate_u() 408 v->mr[0] = obj; in l4_factory_create_start_u() 422 v->mr[w] = L4_VARG_TYPE_FPAGE | (sizeof(l4_fpage_t) << 16); in l4_factory_create_add_fpage_u() 423 v->mr[w + 1] = d.raw; in l4_factory_create_add_fpage_u() 437 v->mr[w] = L4_VARG_TYPE_MWORD | (sizeof(l4_mword_t) << 16); in l4_factory_create_add_int_u() 438 v->mr[w + 1] = d; in l4_factory_create_add_int_u() 452 v->mr[w] = L4_VARG_TYPE_UMWORD | (sizeof(l4_umword_t) << 16); in l4_factory_create_add_uint_u() 453 v->mr[w + 1] = d; in l4_factory_create_add_uint_u() 479 v->mr[w] = L4_VARG_TYPE_STRING | (len << 16); in l4_factory_create_add_lstr_u() 480 c = (char*)&v->mr[w + 1]; in l4_factory_create_add_lstr_u() [all …]
|
/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() local 45 mr->mr[0] = 0x21; in l4_cache_clean_data() 46 mr->mr[1] = start; in l4_cache_clean_data() 47 mr->mr[2] = end; in l4_cache_clean_data() 58 l4_msg_regs_t *mr = l4_utcb_mr_u(u); in l4_cache_flush_data() local 59 mr->mr[0] = 0x20; in l4_cache_flush_data() 60 mr->mr[1] = start; in l4_cache_flush_data() 61 mr->mr[2] = end; in l4_cache_flush_data() 73 mr->mr[0] = 0x22; in l4_cache_inv_data() 74 mr->mr[1] = start; in l4_cache_inv_data() [all …]
|
/l4re-core-master/uclibc/lib/contrib/uclibc/libc/sysdeps/linux/powerpc/ |
A D | syscall.S | 26 mr 0,3 27 mr 3,4 28 mr 4,5 29 mr 5,6 30 mr 6,7 31 mr 7,8 32 mr 8,9
|
A D | clone.S | 66 mr r30,r3 /* Function in r30. */ 68 mr r29,r4 /* Stack pointer in r29. */ 71 mr r28,r5 73 mr r31,r6 /* Argument in r31. */ 77 mr r3,r5 80 mr r5,r7 81 mr r6,r8 82 mr r7,r9 101 mr r1,r29 117 mr r3,r31
|
/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() 183 m->mr[0] = L4_THREAD_AMD64_GET_SEGMENT_INFO_OP; in fiasco_amd64_segment_info() 190 *user_ds = m->mr[0]; in fiasco_amd64_segment_info() 191 *user_cs = m->mr[1]; in fiasco_amd64_segment_info() 192 *user32_cs = m->mr[2]; in fiasco_amd64_segment_info()
|
/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()
|
/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/l4re/util/include/ |
A D | vcon_svr | 54 L4::Opcode op = m->mr[0]; 62 this_vcon()->vcon_write((char const *)&m->mr[2], m->mr[1]); 69 return l4_msgtag(this_vcon()->vcon_set_attr((l4_vcon_attr_t const *)&m->mr[1]), 73 return l4_msgtag(this_vcon()->vcon_get_attr((l4_vcon_attr_t *)&m->mr[1]), 82 if (size > (L4_UTCB_GENERIC_DATA_SIZE - 1) * sizeof(l4_utcb_mr()->mr[0])) 83 size = (L4_UTCB_GENERIC_DATA_SIZE - 1) * sizeof(l4_utcb_mr()->mr[0]); 93 m->mr[0] = v; 94 __builtin_memcpy(&m->mr[1], buf, bytes);
|
/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/l4re/lib/src/ |
A D | log.cc | 33 l4_msg_regs_t *mr = l4_utcb_mr(); in printn() local 35 memcpy(&store, mr, sizeof(store)); in printn() 46 memcpy(mr, &store, sizeof(store)); in printn()
|
/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()
|