PCIデバイスを通過させる際、libxlのデタッチロジックはデバイスが持つ可能性のある64ビットメモリBARへのアクセス権限を削除しません。その結果、ドメインはもはやそのデバイスが割り当てられていなくても、64ビットメモリBARにアクセスできてしまいます。PVドメインの場合、この権限漏洩によりドメイン自体がページテーブル内のメモリをマッピング可能になります。HVMの場合は、漏洩したメモリをHVMドメインのp2mにマッピングするために、改ざんされたデバイスモデルまたはスタブドメインが必要です。

正式な対策が公開されています。ベンダ情報を参照して適切な対策を実施してください。