diff --git a/hw/alpha_dp264.c b/hw/alpha_dp264.c
index 9eb939f..71b0790 100644
--- a/hw/alpha_dp264.c
+++ b/hw/alpha_dp264.c
@@ -33,7 +33,7 @@ static uint64_t cpu_alpha_superpage_to_phys(void *opaque, uint
     (3) The interrupt number assigned by the kernel.
    The following function is concerned with (1) only.  */
 
-static int clipper_pci_map_irq(PCIDevice *d, int irq_num)
+static int clipper_pci_map_irq(void *opaque, PCIDevice *d, int irq_num)
 {
     int slot = d->devfn >> 3;