restart_overlay 1047 drivers/media/pci/saa7134/saa7134-video.c int restart_overlay = 0; restart_overlay 1085 drivers/media/pci/saa7134/saa7134-video.c restart_overlay = 1; restart_overlay 1089 drivers/media/pci/saa7134/saa7134-video.c restart_overlay = 1; restart_overlay 1093 drivers/media/pci/saa7134/saa7134-video.c restart_overlay = 1; restart_overlay 1116 drivers/media/pci/saa7134/saa7134-video.c if (restart_overlay && dev->overlay_owner) {