[PATCH v3 9/9] virtio-iommu: Add PASID information to fault report

[Jean-Philippe Brucker <jean-philippe@linaro.org>]

With page table support comes PASID support, so it's useful to have the
faulting address space in error reports.

Signed-off-by: Jean-Philippe Brucker <jean-philippe@linaro.org>
---
 device-types/iommu/description.tex | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

diff --git a/device-types/iommu/description.tex b/device-types/iommu/description.tex
index 7c81516..7e142bd 100644
--- a/device-types/iommu/description.tex
+++ b/device-types/iommu/description.tex
@@ -1111,13 +1111,14 @@ \subsubsection{Fault reporting}\label{sec:Device Types / IOMMU Device / Device o
   u8    reserved[3];
   le32  flags;
   le32  endpoint;
-  le32  reserved1;
+  le32  pasid;
   le64  address;
 };
 
 #define VIRTIO_IOMMU_FAULT_F_READ     (1 << 0)
 #define VIRTIO_IOMMU_FAULT_F_WRITE    (1 << 1)
 #define VIRTIO_IOMMU_FAULT_F_ADDRESS  (1 << 8)
+#define VIRTIO_IOMMU_FAULT_F_PASID    (1 << 9)
 \end{lstlisting}
 
 \begin{description}
@@ -1132,9 +1133,11 @@ \subsubsection{Fault reporting}\label{sec:Device Types / IOMMU Device / Device o
         access \field{address}, which wasn't mapped in the domain or
         didn't have the correct protection flags.
     \end{description}
+  \item[\field{reserved}] Should be zero.
   \item[\field{flags}] Information about the fault context.
   \item[\field{endpoint}] The endpoint causing the fault.
-  \item[\field{reserved} and \field{reserved1}] Should be zero.
+  \item[\field{pasid}] If VIRTIO_IOMMU_FAULT_F_PASID is set, the
+    address space ID of the fault.
   \item[\field{address}] If VIRTIO_IOMMU_FAULT_F_ADDRESS is set, the
     address causing the fault.
 \end{description}
-- 
2.43.0