remove "PDT" word

[runninglinuxkernel]

In chapter 3.1.1,

IOMMU operations cause implicit reads to PDT, first-stage and second-stage page tables. To reduce latency of such reads, the IOMMU may cache entries from the first-stage and/or second-stage page tables in the IOMMU-address-translation-cache (IOATC).

This chapter just talk about invalidate the S1 and S2 page table cache, so for the first sentence, should we remove the word "PDT" avoid confusing?

[ved-rivos]

The paragraph discusses the implicit reads to PDT to draw attention explicitly to the fact that when second-stage is not Bare, the PPNs held in the non-leaf PDT entries and in the pdtp are guest PPNs. They are translated by the second-stage page table to determine the SPA to access the non-leaf PDT entries and the PC. This process could lead to the second-stage address-translation caches being updated.

[runninglinuxkernel]

yes, your explanation is much better than the first sentence of chapter 3.1.1 which is confusing me or other readers.

[ved-rivos]

This has been explained in detail before - e.g. section 2.3.2,

[runninglinuxkernel]

Thanks a lot!