On 03.08.2020 14:29, Paul Durrant wrote: > From: Paul Durrant <pdurr...@amazon.com> > > The VT-d and AMD IOMMU both use the general x86 IOMMU page table allocator > and ARM always shares page tables with CPU. Hence there is no need to retain > the free_page_table() method or the tasklet which invokes it. > > Signed-off-by: Paul Durrant <pdurr...@amazon.com>
Acked-by: Jan Beulich <jbeul...@suse.com>