__vcpu-arm.h

/*
 * (c) 2017 Alexander Warg <alexander.warg@kernkonzept.com>
 *
 * This file is part of L4Re and distributed under the terms of the
 * GNU General Public License 2.
 * Please see the COPYING-GPL-2 file for details.
 *
 * As a special exception, you may use this file as part of a free software
 * library without restriction.  Specifically, if other files instantiate
 * templates or use macros or inline functions from this file, or you compile
 * this file and link it with other files to produce an executable, this
 * file does not by itself cause the resulting executable to be covered by
 * the GNU General Public License.  This exception does not however
 * invalidate any other reasons why the executable file might be covered by
 * the GNU General Public License.
 */
#pragma once
 
typedef struct l4_arm_vcpu_e_info_t
{
  l4_uint8_t  version;     // must be 0
  l4_uint8_t  gic_version;
  l4_uint8_t  _rsvd0[2];
  l4_uint32_t features;
  l4_uint32_t _rsvd1[14];
  l4_umword_t user[8];
} l4_arm_vcpu_e_info_t;
 
L4_INLINE void *l4_vcpu_e_ptr(void const *vcpu, unsigned id) L4_NOTHROW;
L4_INLINE void *l4_vcpu_e_ptr(void const *vcpu, unsigned id) L4_NOTHROW
{ return (void *)((l4_addr_t)vcpu + 0x400 + (id & 0xfff)); }
 
enum L4_vcpu_e_consts
{
  L4_VCPU_E_NUM_LR = 4, 
};
 
L4_INLINE l4_arm_vcpu_e_info_t const *
l4_vcpu_e_info(void const *vcpu) L4_NOTHROW;
 
L4_INLINE l4_arm_vcpu_e_info_t const *
l4_vcpu_e_info(void const *vcpu) L4_NOTHROW
{
  return (l4_arm_vcpu_e_info_t const *)((l4_addr_t)vcpu + 0x200);
}
 
L4_INLINE l4_umword_t *
l4_vcpu_e_info_user(void *vcpu) L4_NOTHROW;
 
L4_INLINE l4_umword_t *
l4_vcpu_e_info_user(void *vcpu) L4_NOTHROW
{
  return ((l4_arm_vcpu_e_info_t *)((l4_addr_t)vcpu + 0x200))->user;
}
 
 
L4_INLINE l4_uint32_t
l4_vcpu_e_read_32(void const *vcpu, unsigned id) L4_NOTHROW;
 
L4_INLINE l4_uint32_t
l4_vcpu_e_read_32(void const *vcpu, unsigned id) L4_NOTHROW
{ return *(l4_uint32_t const *)l4_vcpu_e_ptr(vcpu, id); }
 
L4_INLINE void
l4_vcpu_e_write_32(void *vcpu, unsigned id, l4_uint32_t val) L4_NOTHROW;
 
L4_INLINE void
l4_vcpu_e_write_32(void *vcpu, unsigned id, l4_uint32_t val) L4_NOTHROW
{ *((l4_uint32_t *)l4_vcpu_e_ptr(vcpu, + id)) = val; }
 
L4_INLINE l4_uint64_t
l4_vcpu_e_read_64(void const *vcpu, unsigned id) L4_NOTHROW;
 
L4_INLINE l4_uint64_t
l4_vcpu_e_read_64(void const *vcpu, unsigned id) L4_NOTHROW
{ return *(l4_uint64_t const *)l4_vcpu_e_ptr(vcpu, id); }
 
L4_INLINE void
l4_vcpu_e_write_64(void *vcpu, unsigned id, l4_uint64_t val) L4_NOTHROW;
 
L4_INLINE void
l4_vcpu_e_write_64(void *vcpu, unsigned id, l4_uint64_t val) L4_NOTHROW
{ *((l4_uint64_t *)l4_vcpu_e_ptr(vcpu, id)) = val; }
 
L4_INLINE l4_umword_t
l4_vcpu_e_read(void const *vcpu, unsigned id) L4_NOTHROW;
 
L4_INLINE l4_umword_t
l4_vcpu_e_read(void const *vcpu, unsigned id) L4_NOTHROW
{ return *(l4_umword_t const *)l4_vcpu_e_ptr(vcpu, id); }
 
L4_INLINE void
l4_vcpu_e_write(void *vcpu, unsigned id, l4_umword_t val) L4_NOTHROW;
 
L4_INLINE void
l4_vcpu_e_write(void *vcpu, unsigned id, l4_umword_t val) L4_NOTHROW
{ *((l4_umword_t *)l4_vcpu_e_ptr(vcpu, id)) = val; }