This seems to be a different issue. Joao's patch tries to fix the issue that IRTE is not changed. The problem I encountered is that IRTE does get changed, thus the destination field is also cleared by amd_iommu_activate_guest_mode().
This seems to be a different issue. Joao's patch tries to fix the issue that IRTE is not changed. The problem I encountered is that IRTE does get changed, thus the destination field is also cleared by amd_iommu_activate_guest_mode().