Lines Matching refs:machine_get_VexArchInfo
34 #include "pub_core_machine.h" // For VG_(machine_get_VexArchInfo)715 VG_(machine_get_VexArchInfo)( &vex_arch, NULL );1371 VG_(machine_get_VexArchInfo)( &vex_arch, NULL );1840 VG_(machine_get_VexArchInfo)( &vex_arch, NULL );