Hi Eric
On Wed, 18 Nov 2020 12:21:43, Eric Auger wrote:
>@@ -1710,7 +1710,11 @@ static void arm_smmu_tlb_inv_context(void *cookie)
> * insertion to guarantee those are observed before the TLBI. Do be
> * careful, 007.
> */
>- if (smmu_domain->stage == ARM_SMMU_DOMAIN_S1) {
>+ if (ext_asid >= 0) { /* guest stage 1 invalidation */
>+ cmd.opcode = CMDQ_OP_TLBI_NH_ASID;
>+ cmd.tlbi.asid = ext_asid;
>+ cmd.tlbi.vmid = smmu_domain->s2_cfg.vmid;
>+ } else if (smmu_domain->stage == ARM_SMMU_DOMAIN_S1) {
Found a problem here, the cmd for guest stage 1 invalidation is built,
but it is not delivered to smmu.
