Ah, irq_create_mapping() !
I am presuming that it's second argument is the interrupt number corresponds to the ones on the p1011 chip. I am trying to pick up interrupt 3, labeled N25 on the chip, so I pass in the three.
Here's a trace of my actions:
arch/powerpc/kernel/irq.c:irq_create_mapping:717:irq: irq_create_mapping(0x(null), 0x3)
arch/powerpc/kernel/irq.c:irq_create_mapping:728:irq: -> using host @cf408000
arch/powerpc/kernel/irq.c:irq_create_mapping:737:irq: -> existing mapping on virq 16
__uio_register_device: registering for interrupt at irq = 3, linux_irq = 16
request_threaded_irq: entry, irq = 16
__uio_register_device: returning 0 (SUCCESS)
virq 16 registered ok.
Is this correct?