Lines Matching refs:mr
705 v->mr[0] = L4_THREAD_EX_REGS_OP | flags; in l4_thread_ex_regs_u()
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()
730 v->mr[L4_THREAD_CONTROL_MR_IDX_FLAGS] = L4_THREAD_CONTROL_OP; in l4_thread_control_start_u()
737 v->mr[L4_THREAD_CONTROL_MR_IDX_FLAGS] |= L4_THREAD_CONTROL_SET_PAGER; in l4_thread_control_pager_u()
738 v->mr[L4_THREAD_CONTROL_MR_IDX_PAGER] = pager; in l4_thread_control_pager_u()
746 v->mr[L4_THREAD_CONTROL_MR_IDX_FLAGS] |= L4_THREAD_CONTROL_SET_EXC_HANDLER; in l4_thread_control_exc_handler_u()
747 v->mr[L4_THREAD_CONTROL_MR_IDX_EXC_HANDLER] = exc_handler; in l4_thread_control_exc_handler_u()
755 v->mr[L4_THREAD_CONTROL_MR_IDX_FLAGS] |= L4_THREAD_CONTROL_BIND_TASK; in l4_thread_control_bind_u()
756 v->mr[L4_THREAD_CONTROL_MR_IDX_BIND_UTCB] = (l4_addr_t)thread_utcb; in l4_thread_control_bind_u()
757 v->mr[L4_THREAD_CONTROL_MR_IDX_BIND_TASK] = L4_ITEM_MAP; in l4_thread_control_bind_u()
758 v->mr[L4_THREAD_CONTROL_MR_IDX_BIND_TASK + 1] = l4_obj_fpage(task, 0, L4_CAP_FPAGE_RWS).raw; in l4_thread_control_bind_u()
765 v->mr[L4_THREAD_CONTROL_MR_IDX_FLAGS] |= L4_THREAD_CONTROL_ALIEN; in l4_thread_control_alien_u()
766 v->mr[L4_THREAD_CONTROL_MR_IDX_FLAG_VALS] |= on ? L4_THREAD_CONTROL_ALIEN : 0; in l4_thread_control_alien_u()
773 v->mr[L4_THREAD_CONTROL_MR_IDX_FLAGS] |= L4_THREAD_CONTROL_UX_NATIVE; in l4_thread_control_ux_host_syscall_u()
774 v->mr[L4_THREAD_CONTROL_MR_IDX_FLAG_VALS] |= on ? L4_THREAD_CONTROL_UX_NATIVE : 0; in l4_thread_control_ux_host_syscall_u()
781 if (l4_utcb_mr_u(utcb)->mr[L4_THREAD_CONTROL_MR_IDX_FLAGS] & L4_THREAD_CONTROL_BIND_TASK) in l4_thread_control_commit_u()
799 v->mr[0] = L4_THREAD_SWITCH_OP; in l4_thread_switch_u()
811 v->mr[0] = L4_THREAD_STATS_OP; in l4_thread_stats_time_u()
827 v->mr[0] = L4_THREAD_VCPU_RESUME_OP; in l4_thread_vcpu_resume_start_u()
932 m->mr[0] = L4_THREAD_REGISTER_DELETE_IRQ_OP; in l4_thread_register_del_irq_u()
933 m->mr[1] = l4_map_obj_control(0,0); in l4_thread_register_del_irq_u()
934 m->mr[2] = l4_obj_fpage(irq, 0, L4_CAP_FPAGE_RWS).raw; in l4_thread_register_del_irq_u()
951 v->mr[0] = L4_THREAD_VCPU_CONTROL_OP; in l4_thread_vcpu_control_u()
952 v->mr[1] = vcpu_state; in l4_thread_vcpu_control_u()
966 v->mr[0] = L4_THREAD_VCPU_CONTROL_EXT_OP; in l4_thread_vcpu_control_ext_u()
967 v->mr[1] = ext_vcpu_state; in l4_thread_vcpu_control_ext_u()
979 m->mr[0] = L4_THREAD_MODIFY_SENDER_OP; in l4_thread_modify_sender_start_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()
998 m->mr[w+3] = add_bits; in l4_thread_modify_sender_add_u()