Lines Matching defs:utcb
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()
734 l4_thread_control_pager_u(l4_cap_idx_t pager, l4_utcb_t *utcb) L4_NOTHROW in l4_thread_control_pager_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()
770 l4_thread_control_ux_host_syscall_u(l4_utcb_t *utcb, int on) L4_NOTHROW in l4_thread_control_ux_host_syscall_u()
778 l4_thread_control_commit_u(l4_cap_idx_t thread, l4_utcb_t *utcb) L4_NOTHROW in l4_thread_control_commit_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()
833 l4_msgtag_t tag, l4_utcb_t *utcb) L4_NOTHROW in l4_thread_vcpu_resume_commit_u()
948 l4_utcb_t *utcb) L4_NOTHROW in l4_thread_vcpu_control_u()
963 l4_utcb_t *utcb) L4_NOTHROW in l4_thread_vcpu_control_ext_u()