Is there a way to get Splint or a similar static checker to work with Linux Kernel modules?

I compiled ( no warnings ) the hello-5.c example from \"The Linux Kernel Module Programming Guide\" and when I tried to insmod it, I received the following error: