918 			       struct s1e2_tlbi_scope *scope)  in invalidate_vncr_va()  argument
937 		switch (scope->type) {  in invalidate_vncr_va()
942 			if (va_end <= scope->va ||  in invalidate_vncr_va()
943 			    va_start >= (scope->va + scope->size))  in invalidate_vncr_va()
945 			if (vt->wr.nG && vt->wr.asid != scope->asid)  in invalidate_vncr_va()
950 			if (va_end <= scope->va ||  in invalidate_vncr_va()
951 			    va_start >= (scope->va + scope->size))  in invalidate_vncr_va()
956 			if (!vt->wr.nG || vt->wr.asid != scope->asid)  in invalidate_vncr_va()
968 				  struct s1e2_tlbi_scope *scope)  in compute_s1_tlbi_range()  argument
983 		scope->type = TLBI_ALL;  in compute_s1_tlbi_range()
1009 		scope->type = TLBI_VA;  in compute_s1_tlbi_range()
1010 		scope->size = ttl_to_size(FIELD_GET(TLBI_TTL_MASK, val));  in compute_s1_tlbi_range()
1011 		if (!scope->size)  in compute_s1_tlbi_range()
1012 			scope->size = SZ_1G;  in compute_s1_tlbi_range()
1013 		scope->va = tlbi_va_s1_to_va(val) & ~(scope->size - 1);  in compute_s1_tlbi_range()
1014 		scope->asid = FIELD_GET(TLBIR_ASID_MASK, val);  in compute_s1_tlbi_range()
1022 		scope->type = TLBI_ASID;  in compute_s1_tlbi_range()
1023 		scope->asid = FIELD_GET(TLBIR_ASID_MASK, val);  in compute_s1_tlbi_range()
1037 		scope->type = TLBI_VAA;  in compute_s1_tlbi_range()
1038 		scope->size = ttl_to_size(FIELD_GET(TLBI_TTL_MASK, val));  in compute_s1_tlbi_range()
1039 		if (!scope->size)  in compute_s1_tlbi_range()
1040 			scope->size = SZ_1G;  in compute_s1_tlbi_range()
1041 		scope->va = tlbi_va_s1_to_va(val) & ~(scope->size - 1);  in compute_s1_tlbi_range()
1067 		scope->type = TLBI_VA;  in compute_s1_tlbi_range()
1068 		scope->va = decode_range_tlbi(val, &scope->size, &scope->asid);  in compute_s1_tlbi_range()
1082 		scope->type = TLBI_VAA;  in compute_s1_tlbi_range()
1083 		scope->va = decode_range_tlbi(val, &scope->size, NULL);  in compute_s1_tlbi_range()
1090 	struct s1e2_tlbi_scope scope = {};  in kvm_handle_s1e2_tlbi()  local
1092 	compute_s1_tlbi_range(vcpu, inst, val, &scope);  in kvm_handle_s1e2_tlbi()
1095 	invalidate_vncr_va(vcpu->kvm, &scope);  in kvm_handle_s1e2_tlbi()