Home
last modified time | relevance | path

Searched refs:l4_uint16_t (Results 1 – 18 of 18) sorted by relevance

/l4re-core-master/l4util/include/
A Datomic.h85 l4_uint16_t cmp_val, l4_uint16_t new_val);
143 l4util_xchg16(volatile l4_uint16_t * dest, l4_uint16_t val);
180 l4util_add16(volatile l4_uint16_t *dest, l4_uint16_t val);
189 l4util_sub16(volatile l4_uint16_t *dest, l4_uint16_t val);
198 l4util_and16(volatile l4_uint16_t *dest, l4_uint16_t val);
207 l4util_or16(volatile l4_uint16_t *dest, l4_uint16_t val);
352 l4_uint16_t cmp_val, l4_uint16_t new_val) in l4util_cmpxchg16()
460 l4util_add16(volatile l4_uint16_t *dest, l4_uint16_t val) in l4util_add16()
476 l4util_sub16(volatile l4_uint16_t *dest, l4_uint16_t val) in l4util_sub16()
488 l4util_and16(volatile l4_uint16_t *dest, l4_uint16_t val) in l4util_and16()
[all …]
A Dmb_info.h93 l4_uint16_t version;
94 l4_uint16_t cseg;
96 l4_uint16_t cseg_16;
97 l4_uint16_t dseg_16;
98 l4_uint16_t cseg_len;
99 l4_uint16_t cseg_16_len;
100 l4_uint16_t dseg_16_len;
108 l4_uint16_t version;
112 l4_uint16_t total_memory;
131 l4_uint16_t win_size;
[all …]
A Delf.h49 typedef l4_uint16_t Elf32_Half; /**< size 2 align 2 \ingroup l4util_elf*/
54 typedef l4_uint16_t Elf64_Half; /**< size 2 align 2 \ingroup l4util_elf*/
/l4re-core-master/l4util/include/ARCH-x86/
A Dport_io.h47 l4util_in8(l4_uint16_t port);
55 L4_INLINE l4_uint16_t
56 l4util_in16(l4_uint16_t port);
65 l4util_in32(l4_uint16_t port);
114 l4util_out16(l4_uint16_t value, l4_uint16_t port);
172 l4util_in8(l4_uint16_t port) in l4util_in8()
179 L4_INLINE l4_uint16_t
180 l4util_in16(l4_uint16_t port) in l4util_in16()
182 l4_uint16_t value; in l4util_in16()
188 l4util_in32(l4_uint16_t port) in l4util_in32()
[all …]
A Didt.h42 l4_uint16_t limit; /**< limit field (see Intel doc) */
/l4re-core-master/l4sys/include/
A D__vm-svm.h41 l4_uint16_t intercept_rd_crX;
42 l4_uint16_t intercept_wr_crX;
44 l4_uint16_t intercept_rd_drX;
45 l4_uint16_t intercept_wr_drX;
54 l4_uint16_t pause_filter_threshold;
55 l4_uint16_t pause_filter_count;
86 l4_uint16_t selector;
87 l4_uint16_t attrib;
A Dvcpu.h71 l4_uint16_t state; ///< Current vCPU state
72 l4_uint16_t saved_state; ///< Saved vCPU state
73 l4_uint16_t sticky_flags; ///< Pending flags
74 l4_uint16_t _reserved; ///< \internal
A D__vm-vmx.h235 l4_uint16_t
299 l4_vm_vmx_write_16(void *vmcs, unsigned field, l4_uint16_t val) L4_NOTHROW;
465 l4_uint16_t
467 { return *(l4_uint16_t*)(l4_vm_vmx_field_ptr(vmcs, field)); } in l4_vm_vmx_read_16()
500 l4_vm_vmx_write_16(void *vmcs, unsigned field, l4_uint16_t val) L4_NOTHROW in l4_vm_vmx_write_16()
501 { *(l4_uint16_t*)(l4_vm_vmx_field_ptr(vmcs, field)) = val; } in l4_vm_vmx_write_16()
A D__timeout.h48 l4_uint16_t t; /**< timeout value */
224 return (l4_timeout_s){(l4_uint16_t)((man & 0x3ff) | ((exp << 10) & 0x7c00))}; in l4_timeout_rel()
A Dl4int.h38 typedef unsigned short int l4_uint16_t; /**< Unsigned 16bit value. \ingroup l4_basic_types */ typedef
A Dkdebug.h182 L4_INLINE void outhex16(l4_uint16_t number) in outhex16()
187 L4_INLINE void outhex12(l4_uint16_t number) in outhex12()
/l4re-core-master/l4sys/include/ARCH-amd64/
A D__vcpu-arch.h38 l4_uint16_t host_ds, host_es, host_fs, host_gs;
40 l4_uint16_t const user_ds32;
41 l4_uint16_t const user_cs64;
42 l4_uint16_t const user_cs32;
80 l4_uint16_t ds, es, fs, gs;
A Dutcb.h85 l4_uint16_t ds, es, fs, gs;
/l4re-core-master/l4re/include/
A Devent.h29 l4_uint16_t bustype;
30 l4_uint16_t vendor;
31 l4_uint16_t product;
32 l4_uint16_t version;
A Drm123 enum Region_flags : l4_uint16_t
162 return Dataspace::Flags((l4_uint16_t)rf & Ds_map_mask);
/l4re-core-master/l4re_c/lib/src/
A Dio_stuff.cc30 extern "C" int l4io_request_region(l4_uint16_t start, l4_uint16_t len)
/l4re-core-master/cxx/lib/util/include/
A Datomic.h40 return l4util_cmpxchg16((l4_uint16_t volatile *)dst, old_val, new_val); in compare_and_swap()
/l4re-core-master/l4util/include/ARCH-amd64/
A Didt.h42 l4_uint16_t limit; /**< limit field (see Intel doc) */

Completed in 35 milliseconds