Re: [PATCH 4/5] x86/tboot: correct IOMMU (VT-d) interaction

[Jason Andryuk <jandryuk@xxxxxxxxx>]

On Tue, Dec 6, 2022 at 8:57 AM Jan Beulich <jbeulich@xxxxxxxx> wrote:
>
> First of all using is_idle_domain() on the subject domain in the body of
> for_each_domain() is pointless. Replace that conditional by one checking
> that a domain actually has IOMMU support enabled for it, and that we're
> actually on a VT-d system (both are largely cosmetic / documentary with
> how things work elsewhere, but still).
>
> Reported-by: Andrew Cooper <andrew.cooper3@xxxxxxxxxx>
> Signed-off-by: Jan Beulich <jbeulich@xxxxxxxx>

Reviewed-by: Jason Andryuk <jandryuk@xxxxxxxxx>