Lines Matching defs:vex

68                                         VexGuestAMD64State *vex)
70 mach->__rax = vex->guest_RAX;
71 mach->__rbx = vex->guest_RBX;
72 mach->__rcx = vex->guest_RCX;
73 mach->__rdx = vex->guest_RDX;
74 mach->__rdi = vex->guest_RDI;
75 mach->__rsi = vex->guest_RSI;
76 mach->__rbp = vex->guest_RBP;
77 mach->__rsp = vex->guest_RSP;
78 mach->__rflags = LibVEX_GuestAMD64_get_rflags(vex);
79 mach->__rip = vex->guest_RIP;
80 mach->__r8 = vex->guest_R8;
81 mach->__r9 = vex->guest_R9;
82 mach->__r10 = vex->guest_R10;
83 mach->__r11 = vex->guest_R11;
84 mach->__r12 = vex->guest_R12;
85 mach->__r13 = vex->guest_R13;
86 mach->__r14 = vex->guest_R14;
87 mach->__r15 = vex->guest_R15;
89 mach->__cs = vex->guest_CS;
90 mach->__fs = vex->guest_FS;
91 mach->__gs = vex->guest_GS;
97 VexGuestAMD64State *vex)
101 VG_(memcpy)(&mach->__fpu_xmm0, &vex->guest_XMM0, 16 * sizeof(mach->__fpu_xmm0));
110 VexGuestAMD64State *vex = (VexGuestAMD64State *)vex_generic;
115 x86_thread_state64_from_vex((x86_thread_state64_t *)mach_generic, vex);
120 x86_float_state64_from_vex((x86_float_state64_t *)mach_generic, vex);
130 VexGuestAMD64State *vex)
132 LibVEX_GuestAMD64_initialise(vex);
133 vex->guest_RAX = mach->__rax;
134 vex->guest_RBX = mach->__rbx;
135 vex->guest_RCX = mach->__rcx;
136 vex->guest_RDX = mach->__rdx;
137 vex->guest_RDI = mach->__rdi;
138 vex->guest_RSI = mach->__rsi;
139 vex->guest_RBP = mach->__rbp;
140 vex->guest_RSP = mach->__rsp;
142 vex->guest_RIP = mach->__rip;
143 vex->guest_R8 = mach->__r8;
144 vex->guest_R9 = mach->__r9;
145 vex->guest_R10 = mach->__r10;
146 vex->guest_R11 = mach->__r11;
147 vex->guest_R12 = mach->__r12;
148 vex->guest_R13 = mach->__r13;
149 vex->guest_R14 = mach->__r14;
150 vex->guest_R15 = mach->__r15;
152 vex->guest_CS = mach->__cs;
153 vex->guest_FS = mach->__fs;
154 vex->guest_GS = mach->__gs;
159 VexGuestAMD64State *vex)
163 VG_(memcpy)(&vex->guest_XMM0, &mach->__fpu_xmm0, 16 * sizeof(mach->__fpu_xmm0));
172 VexGuestAMD64State *vex = (VexGuestAMD64State *)vex_generic;
177 x86_thread_state64_to_vex((const x86_thread_state64_t*)mach_generic,vex);
181 x86_float_state64_to_vex((const x86_float_state64_t*)mach_generic,vex);
203 thread_state_to_vex(state, flavor, count, &tst->arch.vex);
208 find_stack_segment(tid, tst->arch.vex.guest_RSP);
295 VexGuestAMD64State *vex = &tst->arch.vex;
311 LibVEX_GuestAMD64_initialise(vex);
312 vex->guest_RIP = pthread_starter;
313 vex->guest_RDI = self;
314 vex->guest_RSI = kport;
315 vex->guest_RDX = func;
316 vex->guest_RCX = tst->os_state.func_arg;
317 vex->guest_R8 = stacksize;
318 vex->guest_R9 = flags;
319 vex->guest_RSP = sp;
390 VexGuestAMD64State *vex;
440 vex = &tst->arch.vex;
446 vex = &tst->arch.vex;
448 LibVEX_GuestAMD64_initialise(vex);
454 vex->guest_RIP = wqthread_starter;
455 vex->guest_RDI = self;
456 vex->guest_RSI = kport;
457 vex->guest_RDX = stackaddr;
458 vex->guest_RCX = workitem;
459 vex->guest_R8 = reuse;
460 vex->guest_R9 = 0;
461 vex->guest_RSP = sp;