1 files changed, 10 insertions, 0 deletions
diff --git a/sys/arch/amd64/pci/pci_machdep.c b/sys/arch/amd64/pci/pci_machdep.c
index 1cc2162..d2d4e72 100644
--- a/sys/arch/amd64/pci/pci_machdep.c
+++ b/sys/arch/amd64/pci/pci_machdep.c
@@ -140,6 +140,16 @@ pci_map_bar(struct pci_device *dev, uint8_t barno, void **vap)
     return bus_map(bar, size, 0, vap);
 }
 
+void
+pci_msix_eoi(void)
+{
+    /*
+     * On AMD64 all we need to do is send an EOI to the
+     * Local APIC onboard the current processor.
+     */
+    lapic_eoi();
+}
+
 /*
  * Enable MSI-X for a device and allocate an
  * interrupt vector.