Searched refs:get_arch (Results 1 – 9 of 9) sorted by relevance
210 extern VexGuestArchState* get_arch (int set, ThreadState* tst);
127 VexGuestX86State* x86 = (VexGuestX86State*) get_arch (set, tst); in transfer_register()
129 VexGuestS390XState* s390x = (VexGuestS390XState*) get_arch (set, tst); in transfer_register()
188 VexGuestARMState* arm = (VexGuestARMState*) get_arch (set, tst); in transfer_register()
152 VexGuestMIPS32State* mips1 = (VexGuestMIPS32State*) get_arch (set, tst); in transfer_register()
160 VexGuestAMD64State* amd64 = (VexGuestAMD64State*) get_arch (set, tst); in transfer_register()
512 VexGuestArchState* get_arch (int set, ThreadState* tst) in get_arch() function
187 VexGuestPPC32State* ppc32 = (VexGuestPPC32State*) get_arch (set, tst); in transfer_register()
184 VexGuestPPC64State* ppc64 = (VexGuestPPC64State*) get_arch (set, tst); in transfer_register()