21 {
return (
l4_addr_t)vcpu + 0x400 + (
id & 0xfff); }
36 l4_vcpu_e_read_32(
void const *vcpu,
unsigned id)
L4_NOTHROW;
39 l4_vcpu_e_read_32(
void const *vcpu,
unsigned id) L4_NOTHROW
40 {
return *(
l4_uint32_t const *)l4_vcpu_e_ptr(vcpu,
id); }
53 l4_vcpu_e_write_32(
void *vcpu,
unsigned id,
l4_uint32_t val) L4_NOTHROW
54 { *((
l4_uint32_t *)l4_vcpu_e_ptr(vcpu, +
id)) = val; }
64 l4_vcpu_e_read_64(
void const *vcpu,
unsigned id)
L4_NOTHROW;
67 l4_vcpu_e_read_64(
void const *vcpu,
unsigned id) L4_NOTHROW
68 {
return *(
l4_uint64_t const *)l4_vcpu_e_ptr(vcpu,
id); }
81 l4_vcpu_e_write_64(
void *vcpu,
unsigned id,
l4_uint64_t val) L4_NOTHROW
82 { *((
l4_uint64_t *)l4_vcpu_e_ptr(vcpu,
id)) = val; }
92 l4_vcpu_e_read(
void const *vcpu,
unsigned id)
L4_NOTHROW;
95 l4_vcpu_e_read(
void const *vcpu,
unsigned id) L4_NOTHROW
96 {
return *(
l4_umword_t const *)l4_vcpu_e_ptr(vcpu,
id); }
109 l4_vcpu_e_write(
void *vcpu,
unsigned id,
l4_umword_t val) L4_NOTHROW
110 { *((
l4_umword_t *)l4_vcpu_e_ptr(vcpu,
id)) = val; }
unsigned long l4_umword_t
Unsigned machine word.
unsigned long long l4_uint64_t
Unsigned 64bit value.
unsigned long l4_addr_t
Address type.
unsigned int l4_uint32_t
Unsigned 32bit value.
#define L4_NOTHROW
Mark a function declaration and definition as never throwing an exception.