thread

Go to the documentation of this file.

// vi:set ft=cpp: -*- Mode: C++ -*-
/*
 * (c) 2008-2009 Adam Lackorzynski <adam@os.inf.tu-dresden.de>,
 *               Alexander Warg <warg@os.inf.tu-dresden.de>
 *     economic rights: Technische Universität Dresden (Germany)
 *
 * License: see LICENSE.spdx (in this directory or the directories above)
 */
 
#pragma once
 
#include <l4/sys/capability>
#include <l4/sys/snd_destination>
#include <l4/sys/thread.h>
 
namespace L4 {

class Thread :
  public Kobject_t<Thread, Snd_destination, L4_PROTO_THREAD,
                   Type_info::Demand_t<1> >
{
public:
  l4_msgtag_t ex_regs(l4_addr_t ip, l4_addr_t sp,
                      l4_umword_t flags,
                      l4_utcb_t *utcb = l4_utcb()) noexcept
  { return l4_thread_ex_regs_u(cap(), ip, sp, flags, utcb); }

  l4_msgtag_t ex_regs(l4_addr_t *ip, l4_addr_t *sp,
                      l4_umword_t *flags,
                      l4_utcb_t *utcb = l4_utcb()) noexcept
  { return l4_thread_ex_regs_ret_u(cap(), ip, sp, flags, utcb); }
 

  class Attr
  {
  private:
     friend class L4::Thread;
     l4_utcb_t *_u;
 
   public:
     explicit Attr(l4_utcb_t *utcb = l4_utcb()) noexcept : _u(utcb)
     { l4_thread_control_start_u(utcb); }

     void pager(Cap<void> const &pager) noexcept
     { l4_thread_control_pager_u(pager.cap(), _u); }

     Cap<void> pager() noexcept
     { return Cap<void>(l4_utcb_mr_u(_u)->mr[1]); }

     void exc_handler(Cap<void> const &exc_handler) noexcept
     { l4_thread_control_exc_handler_u(exc_handler.cap(), _u); }

     Cap<void> exc_handler() noexcept
     { return Cap<void>(l4_utcb_mr_u(_u)->mr[2]); }

     void bind(l4_utcb_t *thread_utcb, Cap<Task> const &task) noexcept
     { l4_thread_control_bind_u(thread_utcb, task.cap(), _u); }

     void alien(int on) noexcept
     { l4_thread_control_alien_u(_u, on); }
   };

  l4_msgtag_t control(Attr const &attr) noexcept
  { return l4_thread_control_commit_u(cap(), attr._u); }

  l4_msgtag_t switch_to(l4_utcb_t *utcb = l4_utcb()) noexcept
  { return l4_thread_switch_u(cap(), utcb); }

  l4_msgtag_t stats_time(l4_kernel_clock_t *us,
                         l4_utcb_t *utcb = l4_utcb()) noexcept
  { return l4_thread_stats_time_u(cap(), us, utcb); }

  l4_msgtag_t vcpu_resume_start(l4_utcb_t *utcb = l4_utcb()) noexcept
  { return l4_thread_vcpu_resume_start_u(utcb); }

  l4_msgtag_t vcpu_resume_commit(l4_msgtag_t tag,
                                 l4_utcb_t *utcb = l4_utcb()) noexcept
  { return l4_thread_vcpu_resume_commit_u(cap(), tag, utcb); }

   l4_msgtag_t vcpu_control(l4_addr_t vcpu_state, l4_utcb_t *utcb = l4_utcb())
     noexcept
   { return l4_thread_vcpu_control_u(cap(), vcpu_state, utcb); }

   l4_msgtag_t vcpu_control_ext(l4_addr_t ext_vcpu_state,
                                l4_utcb_t *utcb = l4_utcb()) noexcept
   { return l4_thread_vcpu_control_ext_u(cap(), ext_vcpu_state, utcb); }

  l4_msgtag_t register_del_irq(Cap<Irq> irq, l4_utcb_t *u = l4_utcb()) noexcept
  { return l4_thread_register_del_irq_u(cap(), irq.cap(), u); }

  class Modify_senders
  {
  private:
    friend class Thread;
    l4_utcb_t *utcb;
    unsigned cnt;
 
  public:
    explicit Modify_senders(l4_utcb_t *u = l4_utcb()) noexcept
    : utcb(u), cnt(1)
    {
      l4_utcb_mr_u(utcb)->mr[0] = L4_THREAD_MODIFY_SENDER_OP;
    }

    int add(l4_umword_t match_mask, l4_umword_t match,
            l4_umword_t del_bits, l4_umword_t add_bits) noexcept
    {
      l4_msg_regs_t *m = l4_utcb_mr_u(utcb);
      if (cnt >= L4_UTCB_GENERIC_DATA_SIZE - 4)
        return -L4_ENOMEM;
      m->mr[cnt++] = match_mask;
      m->mr[cnt++] = match;
      m->mr[cnt++] = del_bits;
      m->mr[cnt++] = add_bits;
      return 0;
    }
  };

  l4_msgtag_t modify_senders(Modify_senders const &todo) noexcept
  {
    return l4_ipc_call(cap(), todo.utcb, l4_msgtag(L4_PROTO_THREAD, todo.cnt, 0, 0), L4_IPC_NEVER);
  }

  l4_msgtag_t register_doorbell_irq(Cap<Irq> irq, l4_utcb_t *u = l4_utcb()) noexcept
  { return l4_thread_register_doorbell_irq_u(cap(), irq.cap(), u); }
 

  l4_msgtag_t pf_trampoline_setup(l4_addr_t pf_tramp_state,
                                  l4_utcb_t *u = l4_utcb()) noexcept
  { return l4_thread_pf_trampoline_setup_u(cap(), pf_tramp_state, u); }

  l4_msgtag_t pf_trampoline_resume(l4_utcb_t *u = l4_utcb()) noexcept
  { return l4_thread_pf_trampoline_resume_u(cap(), u); }

  l4_msgtag_t pf_trampoline_reflect(l4_utcb_t *u = l4_utcb()) noexcept
  { return l4_thread_pf_trampoline_reflect_u(cap(), u); }

  l4_msgtag_t pf_trampoline_disable(int *was_enabled = nullptr,
                                    l4_utcb_t *u = l4_utcb()) noexcept
  { return l4_thread_pf_trampoline_disable_u(cap(), was_enabled, u); }

  l4_msgtag_t pf_trampoline_enable(l4_utcb_t *u = l4_utcb()) noexcept
  { return l4_thread_pf_trampoline_enable_u(cap(), u); }
};
 
}