From:  Tom Rini <trini@kernel.crashing.org>

  The following marks videodev_proc_destory as __exit.

  This is safe as its only caller is marked as __exit as well.