19typedef struct l4_arm_vcpu_e_info_t
27} l4_arm_vcpu_e_info_t;
45 return ((l4_arm_vcpu_e_info_t *)l4_vcpu_e_info(vcpu))->user;
57l4_vcpu_e_read_32(
void const *vcpu,
unsigned id)
L4_NOTHROW;
60l4_vcpu_e_read_32(
void const *vcpu,
unsigned id)
L4_NOTHROW
61{
return *(
l4_uint32_t const *)l4_vcpu_e_ptr(vcpu,
id); }
75{ *((
l4_uint32_t *)l4_vcpu_e_ptr(vcpu, +
id)) = val; }
85l4_vcpu_e_read_64(
void const *vcpu,
unsigned id)
L4_NOTHROW;
88l4_vcpu_e_read_64(
void const *vcpu,
unsigned id)
L4_NOTHROW
89{
return *(
l4_uint64_t const *)l4_vcpu_e_ptr(vcpu,
id); }
103{ *((
l4_uint64_t *)l4_vcpu_e_ptr(vcpu,
id)) = val; }
113l4_vcpu_e_read(
void const *vcpu,
unsigned id)
L4_NOTHROW;
116l4_vcpu_e_read(
void const *vcpu,
unsigned id)
L4_NOTHROW
117{
return *(
l4_umword_t const *)l4_vcpu_e_ptr(vcpu,
id); }
131{ *((
l4_umword_t *)l4_vcpu_e_ptr(vcpu,
id)) = val; }
unsigned long l4_umword_t
Unsigned machine word.
unsigned char l4_uint8_t
Unsigned 8bit value.
unsigned int l4_uint32_t
Unsigned 32bit value.
unsigned long long l4_uint64_t
Unsigned 64bit value.
#define L4_NOTHROW
Mark a function declaration and definition as never throwing an exception.
#define L4_INLINE
L4 Inline function attribute.