From: Paul Durrant
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
---
Cc: Jan Beulich
v2:
- New
On 03.08.2020 14:29, Paul Durrant wrote:
> From: Paul Durrant
>
> 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-o