Lines Matching refs:archinfo_guest
445 vassert(are_valid_hwcaps(VexArchX86, vta->archinfo_guest.hwcaps));
465 vassert(are_valid_hwcaps(VexArchAMD64, vta->archinfo_guest.hwcaps));
485 vassert(are_valid_hwcaps(VexArchPPC32, vta->archinfo_guest.hwcaps));
505 vassert(are_valid_hwcaps(VexArchPPC64, vta->archinfo_guest.hwcaps));
526 vassert(are_valid_hwcaps(VexArchS390X, vta->archinfo_guest.hwcaps));
546 vassert(are_valid_hwcaps(VexArchARM, vta->archinfo_guest.hwcaps));
566 vassert(are_valid_hwcaps(VexArchMIPS32, vta->archinfo_guest.hwcaps));
589 vassert(vta->archinfo_guest.hwcaps == vta->archinfo_host.hwcaps);
609 &vta->archinfo_guest,
