19 typedef struct l4_arm_vcpu_e_info_t
27 } l4_arm_vcpu_e_info_t;
29 L4_INLINE
void *l4_vcpu_e_ptr(
void const *vcpu,
unsigned id)
L4_NOTHROW;
30 L4_INLINE
void *l4_vcpu_e_ptr(
void const *vcpu,
unsigned id)
L4_NOTHROW
31 {
return (
void *)((
l4_addr_t)vcpu + 0x400 + (
id & 0xfff)); }
38 L4_INLINE l4_arm_vcpu_e_info_t
const *
41 L4_INLINE l4_arm_vcpu_e_info_t
const *
44 return (l4_arm_vcpu_e_info_t
const *)((
l4_addr_t)vcpu + 0x200);
53 return ((l4_arm_vcpu_e_info_t *)((
l4_addr_t)vcpu + 0x200))->user;
65 l4_vcpu_e_read_32(
void const *vcpu,
unsigned id)
L4_NOTHROW;
68 l4_vcpu_e_read_32(
void const *vcpu,
unsigned id)
L4_NOTHROW
69 {
return *(
l4_uint32_t const *)l4_vcpu_e_ptr(vcpu,
id); }
83 { *((
l4_uint32_t *)l4_vcpu_e_ptr(vcpu, +
id)) = val; }
93 l4_vcpu_e_read_64(
void const *vcpu,
unsigned id)
L4_NOTHROW;
96 l4_vcpu_e_read_64(
void const *vcpu,
unsigned id)
L4_NOTHROW
97 {
return *(
l4_uint64_t const *)l4_vcpu_e_ptr(vcpu,
id); }
111 { *((
l4_uint64_t *)l4_vcpu_e_ptr(vcpu,
id)) = val; }
121 l4_vcpu_e_read(
void const *vcpu,
unsigned id)
L4_NOTHROW;
124 l4_vcpu_e_read(
void const *vcpu,
unsigned id)
L4_NOTHROW
125 {
return *(
l4_umword_t const *)l4_vcpu_e_ptr(vcpu,
id); }
139 { *((
l4_umword_t *)l4_vcpu_e_ptr(vcpu,
id)) = val; }
#define L4_NOTHROW
Mark a function declaration and definition as never throwing an exception.
unsigned long l4_umword_t
Unsigned machine word.
unsigned long l4_addr_t
Address type.
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.