Searched refs:vex_arch (Results 1 – 4 of 4) sorted by relevance
658 VexArch vex_arch; in setup_client_stack() local662 VG_(machine_get_VexArchInfo)(&vex_arch, &vex_archinfo); in setup_client_stack()665 vg_assert(vex_arch == VexArchX86); in setup_client_stack()721 vg_assert(vex_arch == VexArchAMD64); in setup_client_stack()
240 VexArch vex_arch; in VG_() local297 VG_(machine_get_VexArchInfo)(&vex_arch, &vex_archinfo); in VG_()301 LibVEX_ppVexArch ( vex_arch ), in VG_()303 LibVEX_ppVexHwCaps ( vex_arch, vex_archinfo.hwcaps ) in VG_()
1483 VexArch vex_arch; in VG_() local1654 VG_(machine_get_VexArchInfo)( &vex_arch, &vex_archinfo ); in VG_()1722 vta.arch_guest = vex_arch; in VG_()1724 vta.arch_host = vex_arch; in VG_()
1331 { VexArch vex_arch; in valgrind_main() local1347 VG_(machine_get_VexArchInfo)( &vex_arch, &vex_archinfo ); in valgrind_main()1350 LibVEX_ppVexArch ( vex_arch ), in valgrind_main()1351 LibVEX_ppVexHwCaps ( vex_arch, vex_archinfo.hwcaps ) in valgrind_main()