Lines Matching refs:VexArchX86
3846 LibVEX_ppVexHwCaps(VexArchX86,env->hwcaps));4433 vassert(arch_host == VexArchX86);