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
