And it’s often incorrect on x64 PCs when IOMMU access is appropriately segmented. See also e.g. Thunderclap: https://www.ndss-symposium.org/wp-content/uploads/ndss2019_0...
It may still be true in some cases, but it shouldn’t be taken for granted that it’s always true.