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);