itas

// vi:set ft=cpp: -*- Mode: C++ -*-
/*
 * Copyright (C) 2025 Kernkonzept GmbH.
 * Author(s): Jan Klötzke <jan.kloetzke@kernkonzept.com>
 *
 * License: see LICENSE.spdx (in this directory or the directories above)
 */
 
#pragma once
 
#include <l4/sys/cxx/ipc_iface>
#include <l4/sys/cxx/ipc_types>
#include <l4/sys/cxx/types>
#include <l4/sys/l4int.h>
#include <l4/sys/thread>
#include <l4/sys/types.h>
 
#include <signal.h>
#include <sys/time.h>
 
namespace L4Re
{

class L4_EXPORT Itas :
  public L4::Kobject_t<Itas, L4::Kobject,
                       L4RE_PROTO_ITAS,
                       L4::Type_info::Demand_t<2> >
{
public:
  L4_INLINE_RPC(l4_ret_t, register_thread, (L4::Ipc::Cap<L4::Thread> parent,
                                            L4::Ipc::Cap<L4::Thread> thread_cap,
                                            l4_addr_t thread_utcb));

  L4_INLINE_RPC(l4_ret_t, unregister_thread, (L4::Ipc::Cap<L4::Thread> thread));
 
  // sigaction.sa_flags is usually `unsigned long`, except for MIPS...
  enum : unsigned
  {
    Ignore_sigaction = ~0U  
  };

  L4_INLINE_RPC(l4_ret_t, sigaction, (int signum,
                                      const struct sigaction *act,
                                      struct sigaction *oldact));

  L4_INLINE_RPC(l4_ret_t, sigaltstack, (L4::Ipc::Cap<L4::Thread> thread,
                                        const struct sigaltstack *ss,
                                        struct sigaltstack *oss));

  L4_INLINE_RPC(l4_ret_t, sigprocmask, (L4::Ipc::Cap<L4::Thread> thread,
                                        int how, sigset_t const *set,
                                        sigset_t *oldset));

  L4_INLINE_RPC(l4_ret_t, sigpending, (L4::Ipc::Cap<L4::Thread> thread,
                                       sigset_t *set));

  L4_INLINE_RPC(l4_ret_t, setitimer, (int which,
                                      const struct itimerval *new_value,
                                      struct itimerval *old_value));

  L4_INLINE_RPC(l4_ret_t, getitimer, (int which, struct itimerval *curr_value));

  L4_INLINE_RPC(l4_ret_t, raise, (L4::Ipc::Cap<L4::Thread> thread, int sig));
 
  typedef L4::Typeid::Rpcs<
    register_thread_t, unregister_thread_t, sigaction_t, sigaltstack_t,
    sigprocmask_t, sigpending_t, setitimer_t, getitimer_t, raise_t
  > Rpcs;
};
 
}