For some reason smatch can't find these header files on my other system.
commitef4cbd6b982ff31cf25c5a349ef21976087768fe
authorDan Carpenter <error27@gmail.com>
Tue, 3 Mar 2009 06:28:45 +0000 (3 09:28 +0300)
committerDan Carpenter <error27@gmail.com>
Tue, 3 Mar 2009 06:28:45 +0000 (3 09:28 +0300)
tree88fcc8e3ae1f81d574876b1ef031eed58662c501
parenta5b555daf58dbb9252874e5d749ec1728b524fe9
For some reason smatch can't find these header files on my other system.
Ah well.

Signed-off-by: Dan Carpenter <error27@gmail.com>
validation/sm_null_deref.c
validation/sm_params.c