Searched refs:vki_uint16_t (Results 1 - 7 of 7) sorted by relevance

/external/valgrind/main/include/vki/
H A Dvki-xen-x86.h39 vki_uint16_t error_code; /* private */
40 vki_uint16_t entry_vector; /* private */
42 vki_uint16_t cs;
47 vki_uint16_t ss, _pad1;
48 vki_uint16_t es, _pad2;
49 vki_uint16_t ds, _pad3;
50 vki_uint16_t fs, _pad4;
51 vki_uint16_t gs, _pad5;
73 vki_uint16_t cs, _pad0[1];
78 vki_uint16_t s
[all...]
H A Dvki-xen-hvm.h32 vki_uint16_t hvmmem_type;
H A Dvki-xen-memory.h51 vki_uint16_t size;
H A Dvki-xen.h52 typedef vki_uint16_t vki_xen_domid_t;
71 __DEFINE_VKI_XEN_GUEST_HANDLE(vki_uint16, vki_uint16_t);
H A Dvki-xen-domctl.h251 vki_uint16_t weight;
252 vki_uint16_t cap;
255 vki_uint16_t weight;
H A Dvki-darwin.h42 #define vki_uint16_t uint16_t macro
H A Dvki-linux.h239 typedef __vki_u16 vki_uint16_t; typedef

Completed in 86 milliseconds