Lines Matching refs:machine_get_VexArchInfo
38 // VG_(machine_get_VexArchInfo)1654 VG_(machine_get_VexArchInfo)( &vex_arch, &vex_archinfo );