Martin Husemann writes:
>Could you try removing an re-inserting the card and see if the system
>notices this event? You are using -current, right?

Yes, 1.6W from a few days ago.

Re-inserting the card has no effect.  It no longer generates the spurious
vector message, but the card is not detected either.

Booting with the card inserted still yields the message:

cbb0 at pci3 dev 15 function 0: Texas Instruments PCI1410 PCI-CardBus Bridge (rev. 0x01)
interrupt_vector: spurious vector 7c3 at pil 13
cbb0: interrupting at ivec 3

:: Mike ::