remote_access

// vi:set ft=cpp: -*- Mode: C++ -*-
/*
 * Copyright (C) 2025 Adam Lackorzynski <adam@l4re.org>
 *
 * License: see LICENSE.spdx (in this directory or the directories above)
 */
 
#pragma once
 
#include <l4/re/protocols.h>
#include <l4/re/dataspace>
#include <l4/sys/cxx/ipc_iface>
#include <l4/sys/cxx/ipc_types>
#include <l4/sys/cxx/types>
#include <l4/sys/l4int.h>
 
namespace L4Re
{
 
struct L4_EXPORT Remote_access
: public L4::Kobject_t<Remote_access, Dataspace, L4RE_PROTO_REMOTE_ACCESS>
{
  enum Access_width
  {
    Wd_8bit  = 0, 
    Wd_16bit = 1, 
    Wd_32bit = 2, 
    Wd_64bit = 3  
  };
 
  L4_INLINE_RPC(long, read_mem,  (l4_addr_t addr, char width, l4_uint64_t *value));
  L4_INLINE_RPC(long, write_mem, (l4_addr_t addr, char width, l4_uint64_t value));
 
  //L4_INLINE_RPC(long, get_regs, (unsigned TBD_THREAD_ID, l4_exc_regs_t *regs));
  //L4_INLINE_RPC(long, set_regs, (unsigned TBD_THREAD_ID, l4_exc_regs_t regs));
 
  // !!! sizeof(l4_fpu_regs_t) > sizeof(utcb)
  //L4_INLINE_RPC(long, get_fpu_regs, (l4_fpu_regs_t *regs));
  //L4_INLINE_RPC(long, set_fpu_regs, (l4_fpu_regs_t regs));
 
  L4_INLINE_RPC(long, terminate, (int exit_code), L4::Ipc::Send_only);
 
  typedef L4::Typeid::Rpcs<read_mem_t, write_mem_t, terminate_t> Rpcs;
};
 
}