MANTIS_INT_PCMCIA0  133 drivers/media/pci/mantis/hopper_cards.c 		  MANTIS_INT_PCMCIA0  | MANTIS_INT_IRQ1	   |
MANTIS_INT_PCMCIA0  142 drivers/media/pci/mantis/mantis_cards.c 		  MANTIS_INT_PCMCIA0  | MANTIS_INT_IRQ1	   |