Lines Matching refs:vex_arch
1343 VexArch vex_arch;1497 VG_(machine_get_VexArchInfo)( &vex_arch, &vex_archinfo );1528 vta.arch_guest = vex_arch;1530 vta.arch_host = vex_arch;1645 vex_arch );