Lines Matching refs:vki_uint32_t
59 vki_uint32_t ebx;
60 vki_uint32_t ecx;
61 vki_uint32_t edx;
62 vki_uint32_t esi;
63 vki_uint32_t edi;
64 vki_uint32_t ebp;
65 vki_uint32_t eax;
68 vki_uint32_t eip;
72 vki_uint32_t eflags; /* eflags.IF == !saved_upcall_mask */
73 vki_uint32_t esp;
97 vki_uint32_t error_code; /* private */
98 vki_uint32_t entry_vector; /* private */
197 vki_uint32_t cs_sel;
198 vki_uint32_t ds_sel;
199 vki_uint32_t es_sel;
200 vki_uint32_t fs_sel;
201 vki_uint32_t gs_sel;
202 vki_uint32_t ss_sel;
203 vki_uint32_t tr_sel;
204 vki_uint32_t ldtr_sel;
206 vki_uint32_t cs_limit;
207 vki_uint32_t ds_limit;
208 vki_uint32_t es_limit;
209 vki_uint32_t fs_limit;
210 vki_uint32_t gs_limit;
211 vki_uint32_t ss_limit;
212 vki_uint32_t tr_limit;
213 vki_uint32_t ldtr_limit;
214 vki_uint32_t idtr_limit;
215 vki_uint32_t gdtr_limit;
228 vki_uint32_t cs_arbytes;
229 vki_uint32_t ds_arbytes;
230 vki_uint32_t es_arbytes;
231 vki_uint32_t fs_arbytes;
232 vki_uint32_t gs_arbytes;
233 vki_uint32_t ss_arbytes;
234 vki_uint32_t tr_arbytes;
235 vki_uint32_t ldtr_arbytes;
258 vki_uint32_t pending_event;
263 vki_uint32_t pending_reserved:19;
268 vki_uint32_t error_code;