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>

Reply via email to