Searched refs:vex_arch (Results 1 – 3 of 3) sorted by relevance
656 VexArch vex_arch; in setup_client_stack() local660 VG_(machine_get_VexArchInfo)(&vex_arch, &vex_archinfo); in setup_client_stack()663 vg_assert(vex_arch == VexArchX86); in setup_client_stack()719 vg_assert(vex_arch == VexArchAMD64); in setup_client_stack()
1428 VexArch vex_arch; in print_preamble() local1488 VG_(machine_get_VexArchInfo)( &vex_arch, &vex_archinfo ); in print_preamble()1492 LibVEX_ppVexArch ( vex_arch ), in print_preamble()1494 LibVEX_ppVexHwCaps ( vex_arch, vex_archinfo.hwcaps ) in print_preamble()1822 { VexArch vex_arch; in valgrind_main() local1837 VG_(machine_get_VexArchInfo)( &vex_arch, &vex_archinfo ); in valgrind_main()1840 LibVEX_ppVexArch ( vex_arch ), in valgrind_main()1841 LibVEX_ppVexHwCaps ( vex_arch, vex_archinfo.hwcaps ) in valgrind_main()
1483 VexArch vex_arch; in VG_() local1654 VG_(machine_get_VexArchInfo)( &vex_arch, &vex_archinfo ); in VG_()1693 vta.arch_guest = vex_arch; in VG_()1695 vta.arch_host = vex_arch; in VG_()