MANTIS_CARD_RESET 39 drivers/media/pci/mantis/mantis_evm.c mmwrite(0xdada0000, MANTIS_CARD_RESET); MANTIS_CARD_RESET 48 drivers/media/pci/mantis/mantis_evm.c mmwrite(0xdada0000, MANTIS_CARD_RESET); MANTIS_CARD_RESET 39 drivers/media/pci/mantis/mantis_pcmcia.c mmwrite(0xda000000, MANTIS_CARD_RESET); MANTIS_CARD_RESET 63 drivers/media/pci/mantis/mantis_pcmcia.c mmwrite(0x00da0000, MANTIS_CARD_RESET);