[PATCH v3 07/14] iommufd/viommu: Add iommufd_viommu_get_vdev_id helper

[Jason Gunthorpe]

On Mon, Dec 23, 2024 at 10:28:32AM +0800, Baolu Lu wrote:

> However, considering page fault scenarios, which are self-contained but
> linked to a hardware page table (hwpt), introduces ambiguity. Hwpt can
> be created with or without a vIOMMU. This raises the question: should
> the page fault message always report the iommufd device ID, or should
> the reporting depend on whether the hwpt was created from a vIOMMU?

I think every single event record read from the FD needs to clearly
specify what its fields are.

Page fault need to clearly say it's field is a device ID.

Jason