Re: [PATCH] iommu/io-pgtable-arm: hide unused ipmmu_iotlb_sync

[Arnd Bergmann]

On Wed, Oct 11, 2017 at 4:16 PM, Robin Murphy <robin.murphy@xxxxxxx> wrote:
> On 11/10/17 14:59, Arnd Bergmann wrote:
>
> That said, I think the third option is now viable as well, namely to
> shuffle some lines and get rid of the almost-duplicated ops entirely.
> I'll have a quick go at that shortly.

Ok, thanks!

      Arnd