Re: [PATCH v4 19/22] vfio-pci: Register an iommu fault handler

Hi Eric, On Mon, Feb 18, 2019 at 02:55:00PM +0100, Eric Auger wrote: > This patch registers a fault handler which records faults in > a circular buffer and then signals an eventfd. This buffer is > exposed within the fault region. > > Signed-off-by: Eric Auger > --- > drivers/vfio/pci/vfio_pci.

Re: [PATCH v4 19/22] vfio-pci: Register an iommu fault handler

Hi Vincent, On 2/25/19 3:22 PM, Vincent Stehlé wrote: > Hi Eric, > > On Mon, Feb 18, 2019 at 02:55:00PM +0100, Eric Auger wrote: >> This patch registers a fault handler which records faults in >> a circular buffer and then signals an eventfd. This buffer is >> exposed within the fault region. >>

[PATCH v4 19/22] vfio-pci: Register an iommu fault handler

This patch registers a fault handler which records faults in a circular buffer and then signals an eventfd. This buffer is exposed within the fault region. Signed-off-by: Eric Auger --- drivers/vfio/pci/vfio_pci.c | 49 + drivers/vfio/pci/vfio_pci_private.h |