pluto_hw_exit     715 drivers/media/pci/pluto2/pluto2.c 	pluto_hw_exit(pluto);
pluto_hw_exit     748 drivers/media/pci/pluto2/pluto2.c 	pluto_hw_exit(pluto);