Re: [PATCH v1 1/3] media: staging: tegra-vde: Support reference picture marking

[Dan Carpenter]

It's not hard to run Smatch yourself...

Depending on if you're on a apt distro or yum distro then fetch the
dependencies with one of the follow commands:
apt-get install gcc make sqlite3 libsqlite3-dev libdbd-sqlite3-perl libssl-dev libtry-tiny-perl
yum install gcc make sqlite3 sqlite-devel sqlite perl-DBD-SQLite openssl-devel perl-Try-Tiny

git clone https://github.com/error27/smatch
cd smatch
make
cd ~/kernel_source/
~/smatch/smatch_scripts/kchecker drivers/subsystem/

regards,
dan carpenter