44 #define INSTR_PTR(regs)    ((regs).vex.VG_INSTR_PTR)
45 #define STACK_PTR(regs)    ((regs).vex.VG_STACK_PTR)
46 #define FRAME_PTR(regs)    ((regs).vex.VG_FRAME_PTR)
69    regs->r_pc = (ULong)VG_(threads)[tid].arch.vex.guest_EIP;  in VG_()
70    regs->r_sp = (ULong)VG_(threads)[tid].arch.vex.guest_ESP;  in VG_()
72       = VG_(threads)[tid].arch.vex.guest_EBP;  in VG_()
74    regs->r_pc = VG_(threads)[tid].arch.vex.guest_RIP;  in VG_()
75    regs->r_sp = VG_(threads)[tid].arch.vex.guest_RSP;  in VG_()
77       = VG_(threads)[tid].arch.vex.guest_RBP;  in VG_()
79    regs->r_pc = (ULong)VG_(threads)[tid].arch.vex.guest_CIA;  in VG_()
80    regs->r_sp = (ULong)VG_(threads)[tid].arch.vex.guest_GPR1;  in VG_()
82       = VG_(threads)[tid].arch.vex.guest_LR;  in VG_()
84    regs->r_pc = VG_(threads)[tid].arch.vex.guest_CIA;  in VG_()
85    regs->r_sp = VG_(threads)[tid].arch.vex.guest_GPR1;  in VG_()
87       = VG_(threads)[tid].arch.vex.guest_LR;  in VG_()
89    regs->r_pc = (ULong)VG_(threads)[tid].arch.vex.guest_R15T;  in VG_()
90    regs->r_sp = (ULong)VG_(threads)[tid].arch.vex.guest_R13;  in VG_()
92       = VG_(threads)[tid].arch.vex.guest_R14;  in VG_()
94       = VG_(threads)[tid].arch.vex.guest_R12;  in VG_()
96       = VG_(threads)[tid].arch.vex.guest_R11;  in VG_()
98       = VG_(threads)[tid].arch.vex.guest_R7;  in VG_()
100    regs->r_pc = VG_(threads)[tid].arch.vex.guest_PC;  in VG_()
101    regs->r_sp = VG_(threads)[tid].arch.vex.guest_XSP;  in VG_()
102    regs->misc.ARM64.x29 = VG_(threads)[tid].arch.vex.guest_X29;  in VG_()
103    regs->misc.ARM64.x30 = VG_(threads)[tid].arch.vex.guest_X30;  in VG_()
105    regs->r_pc = (ULong)VG_(threads)[tid].arch.vex.guest_IA;  in VG_()
106    regs->r_sp = (ULong)VG_(threads)[tid].arch.vex.guest_SP;  in VG_()
108       = VG_(threads)[tid].arch.vex.guest_FP;  in VG_()
110       = VG_(threads)[tid].arch.vex.guest_LR;  in VG_()
112    regs->r_pc = VG_(threads)[tid].arch.vex.guest_PC;  in VG_()
113    regs->r_sp = VG_(threads)[tid].arch.vex.guest_r29;  in VG_()
115       = VG_(threads)[tid].arch.vex.guest_r30;  in VG_()
117       = VG_(threads)[tid].arch.vex.guest_r31;  in VG_()
119       = VG_(threads)[tid].arch.vex.guest_r28;  in VG_()
121    regs->r_pc = VG_(threads)[tid].arch.vex.guest_PC;  in VG_()
122    regs->r_sp = VG_(threads)[tid].arch.vex.guest_r29;  in VG_()
124       = VG_(threads)[tid].arch.vex.guest_r30;  in VG_()
126       = VG_(threads)[tid].arch.vex.guest_r31;  in VG_()
128       = VG_(threads)[tid].arch.vex.guest_r28;  in VG_()
130    regs->r_pc = VG_(threads)[tid].arch.vex.guest_pc;  in VG_()
131    regs->r_sp = VG_(threads)[tid].arch.vex.guest_r54;  in VG_()
133       = VG_(threads)[tid].arch.vex.guest_r52;  in VG_()
135       = VG_(threads)[tid].arch.vex.guest_r55;  in VG_()
157       case 0: src = (void*)(((Addr)&(tst->arch.vex)) + offset); break;  in VG_()
181       case 0: dst = (void*)(((Addr)&(tst->arch.vex)) + offset); break;  in VG_()
193    VexGuestArchState* vex = &(VG_(get_ThreadState)(tid)->arch.vex);  in apply_to_GPs_of_tid()  local
196    (*f)(tid, "EAX", vex->guest_EAX);  in apply_to_GPs_of_tid()
197    (*f)(tid, "ECX", vex->guest_ECX);  in apply_to_GPs_of_tid()
198    (*f)(tid, "EDX", vex->guest_EDX);  in apply_to_GPs_of_tid()
199    (*f)(tid, "EBX", vex->guest_EBX);  in apply_to_GPs_of_tid()
200    (*f)(tid, "ESI", vex->guest_ESI);  in apply_to_GPs_of_tid()
201    (*f)(tid, "EDI", vex->guest_EDI);  in apply_to_GPs_of_tid()
202    (*f)(tid, "ESP", vex->guest_ESP);  in apply_to_GPs_of_tid()
203    (*f)(tid, "EBP", vex->guest_EBP);  in apply_to_GPs_of_tid()
205    (*f)(tid, "RAX", vex->guest_RAX);  in apply_to_GPs_of_tid()
206    (*f)(tid, "RCX", vex->guest_RCX);  in apply_to_GPs_of_tid()
207    (*f)(tid, "RDX", vex->guest_RDX);  in apply_to_GPs_of_tid()
208    (*f)(tid, "RBX", vex->guest_RBX);  in apply_to_GPs_of_tid()
209    (*f)(tid, "RSI", vex->guest_RSI);  in apply_to_GPs_of_tid()
210    (*f)(tid, "RDI", vex->guest_RDI);  in apply_to_GPs_of_tid()
211    (*f)(tid, "RSP", vex->guest_RSP);  in apply_to_GPs_of_tid()
212    (*f)(tid, "RBP", vex->guest_RBP);  in apply_to_GPs_of_tid()
213    (*f)(tid, "R8" , vex->guest_R8 );  in apply_to_GPs_of_tid()
214    (*f)(tid, "R9" , vex->guest_R9 );  in apply_to_GPs_of_tid()
215    (*f)(tid, "R10", vex->guest_R10);  in apply_to_GPs_of_tid()
216    (*f)(tid, "R11", vex->guest_R11);  in apply_to_GPs_of_tid()
217    (*f)(tid, "R12", vex->guest_R12);  in apply_to_GPs_of_tid()
218    (*f)(tid, "R13", vex->guest_R13);  in apply_to_GPs_of_tid()
219    (*f)(tid, "R14", vex->guest_R14);  in apply_to_GPs_of_tid()
220    (*f)(tid, "R15", vex->guest_R15);  in apply_to_GPs_of_tid()
222    (*f)(tid, "GPR0" , vex->guest_GPR0 );  in apply_to_GPs_of_tid()
223    (*f)(tid, "GPR1" , vex->guest_GPR1 );  in apply_to_GPs_of_tid()
224    (*f)(tid, "GPR2" , vex->guest_GPR2 );  in apply_to_GPs_of_tid()
225    (*f)(tid, "GPR3" , vex->guest_GPR3 );  in apply_to_GPs_of_tid()
226    (*f)(tid, "GPR4" , vex->guest_GPR4 );  in apply_to_GPs_of_tid()
227    (*f)(tid, "GPR5" , vex->guest_GPR5 );  in apply_to_GPs_of_tid()
228    (*f)(tid, "GPR6" , vex->guest_GPR6 );  in apply_to_GPs_of_tid()
229    (*f)(tid, "GPR7" , vex->guest_GPR7 );  in apply_to_GPs_of_tid()
230    (*f)(tid, "GPR8" , vex->guest_GPR8 );  in apply_to_GPs_of_tid()
231    (*f)(tid, "GPR9" , vex->guest_GPR9 );  in apply_to_GPs_of_tid()
232    (*f)(tid, "GPR10", vex->guest_GPR10);  in apply_to_GPs_of_tid()
233    (*f)(tid, "GPR11", vex->guest_GPR11);  in apply_to_GPs_of_tid()
234    (*f)(tid, "GPR12", vex->guest_GPR12);  in apply_to_GPs_of_tid()
235    (*f)(tid, "GPR13", vex->guest_GPR13);  in apply_to_GPs_of_tid()
236    (*f)(tid, "GPR14", vex->guest_GPR14);  in apply_to_GPs_of_tid()
237    (*f)(tid, "GPR15", vex->guest_GPR15);  in apply_to_GPs_of_tid()
238    (*f)(tid, "GPR16", vex->guest_GPR16);  in apply_to_GPs_of_tid()
239    (*f)(tid, "GPR17", vex->guest_GPR17);  in apply_to_GPs_of_tid()
240    (*f)(tid, "GPR18", vex->guest_GPR18);  in apply_to_GPs_of_tid()
241    (*f)(tid, "GPR19", vex->guest_GPR19);  in apply_to_GPs_of_tid()
242    (*f)(tid, "GPR20", vex->guest_GPR20);  in apply_to_GPs_of_tid()
243    (*f)(tid, "GPR21", vex->guest_GPR21);  in apply_to_GPs_of_tid()
244    (*f)(tid, "GPR22", vex->guest_GPR22);  in apply_to_GPs_of_tid()
245    (*f)(tid, "GPR23", vex->guest_GPR23);  in apply_to_GPs_of_tid()
246    (*f)(tid, "GPR24", vex->guest_GPR24);  in apply_to_GPs_of_tid()
247    (*f)(tid, "GPR25", vex->guest_GPR25);  in apply_to_GPs_of_tid()
248    (*f)(tid, "GPR26", vex->guest_GPR26);  in apply_to_GPs_of_tid()
249    (*f)(tid, "GPR27", vex->guest_GPR27);  in apply_to_GPs_of_tid()
250    (*f)(tid, "GPR28", vex->guest_GPR28);  in apply_to_GPs_of_tid()
251    (*f)(tid, "GPR29", vex->guest_GPR29);  in apply_to_GPs_of_tid()
252    (*f)(tid, "GPR30", vex->guest_GPR30);  in apply_to_GPs_of_tid()
253    (*f)(tid, "GPR31", vex->guest_GPR31);  in apply_to_GPs_of_tid()
254    (*f)(tid, "CTR"  , vex->guest_CTR  );  in apply_to_GPs_of_tid()
255    (*f)(tid, "LR"   , vex->guest_LR   );  in apply_to_GPs_of_tid()
257    (*f)(tid, "R0" , vex->guest_R0 );  in apply_to_GPs_of_tid()
258    (*f)(tid, "R1" , vex->guest_R1 );  in apply_to_GPs_of_tid()
259    (*f)(tid, "R2" , vex->guest_R2 );  in apply_to_GPs_of_tid()
260    (*f)(tid, "R3" , vex->guest_R3 );  in apply_to_GPs_of_tid()
261    (*f)(tid, "R4" , vex->guest_R4 );  in apply_to_GPs_of_tid()
262    (*f)(tid, "R5" , vex->guest_R5 );  in apply_to_GPs_of_tid()
263    (*f)(tid, "R6" , vex->guest_R6 );  in apply_to_GPs_of_tid()
264    (*f)(tid, "R8" , vex->guest_R8 );  in apply_to_GPs_of_tid()
265    (*f)(tid, "R9" , vex->guest_R9 );  in apply_to_GPs_of_tid()
266    (*f)(tid, "R10", vex->guest_R10);  in apply_to_GPs_of_tid()
267    (*f)(tid, "R11", vex->guest_R11);  in apply_to_GPs_of_tid()
268    (*f)(tid, "R12", vex->guest_R12);  in apply_to_GPs_of_tid()
269    (*f)(tid, "R13", vex->guest_R13);  in apply_to_GPs_of_tid()
270    (*f)(tid, "R14", vex->guest_R14);  in apply_to_GPs_of_tid()
272    (*f)(tid, "r0" , vex->guest_r0 );  in apply_to_GPs_of_tid()
273    (*f)(tid, "r1" , vex->guest_r1 );  in apply_to_GPs_of_tid()
274    (*f)(tid, "r2" , vex->guest_r2 );  in apply_to_GPs_of_tid()
275    (*f)(tid, "r3" , vex->guest_r3 );  in apply_to_GPs_of_tid()
276    (*f)(tid, "r4" , vex->guest_r4 );  in apply_to_GPs_of_tid()
277    (*f)(tid, "r5" , vex->guest_r5 );  in apply_to_GPs_of_tid()
278    (*f)(tid, "r6" , vex->guest_r6 );  in apply_to_GPs_of_tid()
279    (*f)(tid, "r7" , vex->guest_r7 );  in apply_to_GPs_of_tid()
280    (*f)(tid, "r8" , vex->guest_r8 );  in apply_to_GPs_of_tid()
281    (*f)(tid, "r9" , vex->guest_r9 );  in apply_to_GPs_of_tid()
282    (*f)(tid, "r10", vex->guest_r10);  in apply_to_GPs_of_tid()
283    (*f)(tid, "r11", vex->guest_r11);  in apply_to_GPs_of_tid()
284    (*f)(tid, "r12", vex->guest_r12);  in apply_to_GPs_of_tid()
285    (*f)(tid, "r13", vex->guest_r13);  in apply_to_GPs_of_tid()
286    (*f)(tid, "r14", vex->guest_r14);  in apply_to_GPs_of_tid()
287    (*f)(tid, "r15", vex->guest_r15);  in apply_to_GPs_of_tid()
289    (*f)(tid, "r0" , vex->guest_r0 );  in apply_to_GPs_of_tid()
290    (*f)(tid, "r1" , vex->guest_r1 );  in apply_to_GPs_of_tid()
291    (*f)(tid, "r2" , vex->guest_r2 );  in apply_to_GPs_of_tid()
292    (*f)(tid, "r3" , vex->guest_r3 );  in apply_to_GPs_of_tid()
293    (*f)(tid, "r4" , vex->guest_r4 );  in apply_to_GPs_of_tid()
294    (*f)(tid, "r5" , vex->guest_r5 );  in apply_to_GPs_of_tid()
295    (*f)(tid, "r6" , vex->guest_r6 );  in apply_to_GPs_of_tid()
296    (*f)(tid, "r7" , vex->guest_r7 );  in apply_to_GPs_of_tid()
297    (*f)(tid, "r8" , vex->guest_r8 );  in apply_to_GPs_of_tid()
298    (*f)(tid, "r9" , vex->guest_r9 );  in apply_to_GPs_of_tid()
299    (*f)(tid, "r10", vex->guest_r10);  in apply_to_GPs_of_tid()
300    (*f)(tid, "r11", vex->guest_r11);  in apply_to_GPs_of_tid()
301    (*f)(tid, "r12", vex->guest_r12);  in apply_to_GPs_of_tid()
302    (*f)(tid, "r13", vex->guest_r13);  in apply_to_GPs_of_tid()
303    (*f)(tid, "r14", vex->guest_r14);  in apply_to_GPs_of_tid()
304    (*f)(tid, "r15", vex->guest_r15);  in apply_to_GPs_of_tid()
305    (*f)(tid, "r16", vex->guest_r16);  in apply_to_GPs_of_tid()
306    (*f)(tid, "r17", vex->guest_r17);  in apply_to_GPs_of_tid()
307    (*f)(tid, "r18", vex->guest_r18);  in apply_to_GPs_of_tid()
308    (*f)(tid, "r19", vex->guest_r19);  in apply_to_GPs_of_tid()
309    (*f)(tid, "r20", vex->guest_r20);  in apply_to_GPs_of_tid()
310    (*f)(tid, "r21", vex->guest_r21);  in apply_to_GPs_of_tid()
311    (*f)(tid, "r22", vex->guest_r22);  in apply_to_GPs_of_tid()
312    (*f)(tid, "r23", vex->guest_r23);  in apply_to_GPs_of_tid()
313    (*f)(tid, "r24", vex->guest_r24);  in apply_to_GPs_of_tid()
314    (*f)(tid, "r25", vex->guest_r25);  in apply_to_GPs_of_tid()
315    (*f)(tid, "r26", vex->guest_r26);  in apply_to_GPs_of_tid()
316    (*f)(tid, "r27", vex->guest_r27);  in apply_to_GPs_of_tid()
317    (*f)(tid, "r28", vex->guest_r28);  in apply_to_GPs_of_tid()
318    (*f)(tid, "r29", vex->guest_r29);  in apply_to_GPs_of_tid()
319    (*f)(tid, "r30", vex->guest_r30);  in apply_to_GPs_of_tid()
320    (*f)(tid, "r31", vex->guest_r31);  in apply_to_GPs_of_tid()
322    (*f)(tid, "x0" , vex->guest_X0 );  in apply_to_GPs_of_tid()
323    (*f)(tid, "x1" , vex->guest_X1 );  in apply_to_GPs_of_tid()
324    (*f)(tid, "x2" , vex->guest_X2 );  in apply_to_GPs_of_tid()
325    (*f)(tid, "x3" , vex->guest_X3 );  in apply_to_GPs_of_tid()
326    (*f)(tid, "x4" , vex->guest_X4 );  in apply_to_GPs_of_tid()
327    (*f)(tid, "x5" , vex->guest_X5 );  in apply_to_GPs_of_tid()
328    (*f)(tid, "x6" , vex->guest_X6 );  in apply_to_GPs_of_tid()
329    (*f)(tid, "x7" , vex->guest_X7 );  in apply_to_GPs_of_tid()
330    (*f)(tid, "x8" , vex->guest_X8 );  in apply_to_GPs_of_tid()
331    (*f)(tid, "x9" , vex->guest_X9 );  in apply_to_GPs_of_tid()
332    (*f)(tid, "x10", vex->guest_X10);  in apply_to_GPs_of_tid()
333    (*f)(tid, "x11", vex->guest_X11);  in apply_to_GPs_of_tid()
334    (*f)(tid, "x12", vex->guest_X12);  in apply_to_GPs_of_tid()
335    (*f)(tid, "x13", vex->guest_X13);  in apply_to_GPs_of_tid()
336    (*f)(tid, "x14", vex->guest_X14);  in apply_to_GPs_of_tid()
337    (*f)(tid, "x15", vex->guest_X15);  in apply_to_GPs_of_tid()
338    (*f)(tid, "x16", vex->guest_X16);  in apply_to_GPs_of_tid()
339    (*f)(tid, "x17", vex->guest_X17);  in apply_to_GPs_of_tid()
340    (*f)(tid, "x18", vex->guest_X18);  in apply_to_GPs_of_tid()
341    (*f)(tid, "x19", vex->guest_X19);  in apply_to_GPs_of_tid()
342    (*f)(tid, "x20", vex->guest_X20);  in apply_to_GPs_of_tid()
343    (*f)(tid, "x21", vex->guest_X21);  in apply_to_GPs_of_tid()
344    (*f)(tid, "x22", vex->guest_X22);  in apply_to_GPs_of_tid()
345    (*f)(tid, "x23", vex->guest_X23);  in apply_to_GPs_of_tid()
346    (*f)(tid, "x24", vex->guest_X24);  in apply_to_GPs_of_tid()
347    (*f)(tid, "x25", vex->guest_X25);  in apply_to_GPs_of_tid()
348    (*f)(tid, "x26", vex->guest_X26);  in apply_to_GPs_of_tid()
349    (*f)(tid, "x27", vex->guest_X27);  in apply_to_GPs_of_tid()
350    (*f)(tid, "x28", vex->guest_X28);  in apply_to_GPs_of_tid()
351    (*f)(tid, "x29", vex->guest_X29);  in apply_to_GPs_of_tid()
352    (*f)(tid, "x30", vex->guest_X30);  in apply_to_GPs_of_tid()
354    (*f)(tid, "r0",  vex->guest_r0 );  in apply_to_GPs_of_tid()
355    (*f)(tid, "r1",  vex->guest_r1 );  in apply_to_GPs_of_tid()
356    (*f)(tid, "r2",  vex->guest_r2 );  in apply_to_GPs_of_tid()
357    (*f)(tid, "r3",  vex->guest_r3 );  in apply_to_GPs_of_tid()
358    (*f)(tid, "r4",  vex->guest_r4 );  in apply_to_GPs_of_tid()
359    (*f)(tid, "r5",  vex->guest_r5 );  in apply_to_GPs_of_tid()
360    (*f)(tid, "r6",  vex->guest_r6 );  in apply_to_GPs_of_tid()
361    (*f)(tid, "r7",  vex->guest_r7 );  in apply_to_GPs_of_tid()
362    (*f)(tid, "r8",  vex->guest_r8 );  in apply_to_GPs_of_tid()
363    (*f)(tid, "r9",  vex->guest_r9 );  in apply_to_GPs_of_tid()
364    (*f)(tid, "r10", vex->guest_r10);  in apply_to_GPs_of_tid()
365    (*f)(tid, "r11", vex->guest_r11);  in apply_to_GPs_of_tid()
366    (*f)(tid, "r12", vex->guest_r12);  in apply_to_GPs_of_tid()
367    (*f)(tid, "r13", vex->guest_r13);  in apply_to_GPs_of_tid()
368    (*f)(tid, "r14", vex->guest_r14);  in apply_to_GPs_of_tid()
369    (*f)(tid, "r15", vex->guest_r15);  in apply_to_GPs_of_tid()
370    (*f)(tid, "r16", vex->guest_r16);  in apply_to_GPs_of_tid()
371    (*f)(tid, "r17", vex->guest_r17);  in apply_to_GPs_of_tid()
372    (*f)(tid, "r18", vex->guest_r18);  in apply_to_GPs_of_tid()
373    (*f)(tid, "r19", vex->guest_r19);  in apply_to_GPs_of_tid()
374    (*f)(tid, "r20", vex->guest_r20);  in apply_to_GPs_of_tid()
375    (*f)(tid, "r21", vex->guest_r21);  in apply_to_GPs_of_tid()
376    (*f)(tid, "r22", vex->guest_r22);  in apply_to_GPs_of_tid()
377    (*f)(tid, "r23", vex->guest_r23);  in apply_to_GPs_of_tid()
378    (*f)(tid, "r24", vex->guest_r24);  in apply_to_GPs_of_tid()
379    (*f)(tid, "r25", vex->guest_r25);  in apply_to_GPs_of_tid()
380    (*f)(tid, "r26", vex->guest_r26);  in apply_to_GPs_of_tid()
381    (*f)(tid, "r27", vex->guest_r27);  in apply_to_GPs_of_tid()
382    (*f)(tid, "r28", vex->guest_r28);  in apply_to_GPs_of_tid()
383    (*f)(tid, "r29", vex->guest_r29);  in apply_to_GPs_of_tid()
384    (*f)(tid, "r30", vex->guest_r30);  in apply_to_GPs_of_tid()
385    (*f)(tid, "r31", vex->guest_r31);  in apply_to_GPs_of_tid()
386    (*f)(tid, "r32", vex->guest_r32);  in apply_to_GPs_of_tid()
387    (*f)(tid, "r33", vex->guest_r33);  in apply_to_GPs_of_tid()
388    (*f)(tid, "r34", vex->guest_r34);  in apply_to_GPs_of_tid()
389    (*f)(tid, "r35", vex->guest_r35);  in apply_to_GPs_of_tid()
390    (*f)(tid, "r36", vex->guest_r36);  in apply_to_GPs_of_tid()
391    (*f)(tid, "r37", vex->guest_r37);  in apply_to_GPs_of_tid()
392    (*f)(tid, "r38", vex->guest_r38);  in apply_to_GPs_of_tid()
393    (*f)(tid, "r39", vex->guest_r39);  in apply_to_GPs_of_tid()
394    (*f)(tid, "r40", vex->guest_r40);  in apply_to_GPs_of_tid()
395    (*f)(tid, "r41", vex->guest_r41);  in apply_to_GPs_of_tid()
396    (*f)(tid, "r42", vex->guest_r42);  in apply_to_GPs_of_tid()
397    (*f)(tid, "r43", vex->guest_r43);  in apply_to_GPs_of_tid()
398    (*f)(tid, "r44", vex->guest_r44);  in apply_to_GPs_of_tid()
399    (*f)(tid, "r45", vex->guest_r45);  in apply_to_GPs_of_tid()
400    (*f)(tid, "r46", vex->guest_r46);  in apply_to_GPs_of_tid()
401    (*f)(tid, "r47", vex->guest_r47);  in apply_to_GPs_of_tid()
402    (*f)(tid, "r48", vex->guest_r48);  in apply_to_GPs_of_tid()
403    (*f)(tid, "r49", vex->guest_r49);  in apply_to_GPs_of_tid()
404    (*f)(tid, "r50", vex->guest_r50);  in apply_to_GPs_of_tid()
405    (*f)(tid, "r51", vex->guest_r51);  in apply_to_GPs_of_tid()
406    (*f)(tid, "r52", vex->guest_r52);  in apply_to_GPs_of_tid()
407    (*f)(tid, "r53", vex->guest_r53);  in apply_to_GPs_of_tid()
408    (*f)(tid, "r54", vex->guest_r54);  in apply_to_GPs_of_tid()
409    (*f)(tid, "r55", vex->guest_r55);  in apply_to_GPs_of_tid()