Searched refs:vki_uint16_t (Results 1 – 8 of 8) sorted by relevance
39 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 ss, _pad2[3];[all …]
32 vki_uint16_t hvmmem_type;41 vki_uint16_t hvmmem_access;50 vki_uint16_t hvmmem_access; /* OUT */
52 typedef vki_uint16_t vki_xen_domid_t;71 __DEFINE_VKI_XEN_GUEST_HANDLE(vki_uint16, vki_uint16_t);
251 vki_uint16_t weight;252 vki_uint16_t cap;255 vki_uint16_t weight;
52 vki_uint16_t size;
42 #define vki_uint16_t uint16_t macro
243 typedef __vki_u16 vki_uint16_t; typedef
896 sizeof(vki_uint16_t)); in PRE()