Lines Matching defs:vex

66                                         VexGuestX86State *vex)
68 mach->__eax = vex->guest_EAX;
69 mach->__ebx = vex->guest_EBX;
70 mach->__ecx = vex->guest_ECX;
71 mach->__edx = vex->guest_EDX;
72 mach->__edi = vex->guest_EDI;
73 mach->__esi = vex->guest_ESI;
74 mach->__ebp = vex->guest_EBP;
75 mach->__esp = vex->guest_ESP;
76 mach->__ss = vex->guest_SS;
77 mach->__eflags = LibVEX_GuestX86_get_eflags(vex);
78 mach->__eip = vex->guest_EIP;
79 mach->__cs = vex->guest_CS;
80 mach->__ds = vex->guest_DS;
81 mach->__es = vex->guest_ES;
82 mach->__fs = vex->guest_FS;
83 mach->__gs = vex->guest_GS;
88 VexGuestX86State *vex)
92 VG_(memcpy)(&mach->__fpu_xmm0, &vex->guest_XMM0, 8 * sizeof(mach->__fpu_xmm0));
101 VexGuestX86State *vex = (VexGuestX86State *)vex_generic;
106 x86_thread_state32_from_vex((i386_thread_state_t *)mach_generic, vex);
111 x86_float_state32_from_vex((i386_float_state_t *)mach_generic, vex);
121 VexGuestX86State *vex)
123 LibVEX_GuestX86_initialise(vex);
124 vex->guest_EAX = mach->__eax;
125 vex->guest_EBX = mach->__ebx;
126 vex->guest_ECX = mach->__ecx;
127 vex->guest_EDX = mach->__edx;
128 vex->guest_EDI = mach->__edi;
129 vex->guest_ESI = mach->__esi;
130 vex->guest_EBP = mach->__ebp;
131 vex->guest_ESP = mach->__esp;
132 vex->guest_SS = mach->__ss;
134 vex->guest_EIP = mach->__eip;
135 vex->guest_CS = mach->__cs;
136 vex->guest_DS = mach->__ds;
137 vex->guest_ES = mach->__es;
138 vex->guest_FS = mach->__fs;
139 vex->guest_GS = mach->__gs;
143 VexGuestX86State *vex)
147 VG_(memcpy)(&vex->guest_XMM0, &mach->__fpu_xmm0, 8 * sizeof(mach->__fpu_xmm0));
156 VexGuestX86State *vex = (VexGuestX86State *)vex_generic;
161 x86_thread_state32_to_vex((const i386_thread_state_t*)mach_generic,vex);
165 x86_float_state32_to_vex((const i386_float_state_t*)mach_generic,vex);
187 thread_state_to_vex(state, flavor, count, &tst->arch.vex);
192 find_stack_segment(tid, tst->arch.vex.guest_ESP);
282 VexGuestX86State *vex = &tst->arch.vex;
299 LibVEX_GuestX86_initialise(vex);
300 vex->guest_EIP = pthread_starter;
301 vex->guest_EAX = self;
302 vex->guest_EBX = kport;
303 vex->guest_ECX = func;
304 vex->guest_EDX = tst->os_state.func_arg;
305 vex->guest_EDI = stacksize;
306 vex->guest_ESI = flags;
307 vex->guest_ESP = sp;
385 VexGuestX86State *vex;
430 vex = &tst->arch.vex;
436 vex = &tst->arch.vex;
438 LibVEX_GuestX86_initialise(vex);
454 vex->guest_EIP = wqthread_starter;
455 vex->guest_EAX = self;
456 vex->guest_EBX = kport;
457 vex->guest_ECX = stackaddr;
458 vex->guest_EDX = workitem;
459 vex->guest_EDI = reuse;
460 vex->guest_ESI = 0;
461 vex->guest_ESP = sp;