; Robin
> Murphy ; Jacob Pan
> Subject: Re: [PATCH V3 1/3] iommu: Add support to change default domain of
> an iommu_group
>
> Hi Sai,
>
> On 5/29/20 3:23 AM, Sai Praneeth Prakhya wrote:
> > Presently, the default domain of an iommu_group is allocated during
> >
Hi Sai,
On 5/29/20 3:23 AM, Sai Praneeth Prakhya wrote:
Presently, the default domain of an iommu_group is allocated during boot
time (i.e. when a device is being added to a group) and it cannot be
This is inaccurate as Joerg's code has def
