Linux Driver Verification

As one can see there are about 100 drivers of about 3000 that cause 'No entry point'. I saw some of them and find out 3 different cases:

1. Modules haven't module_init/module_exit at all and just export several functions or variables as a library (almost all from 100) (example). We shouldn't generate mains for them and verify directly.
2. There is a group of modules in staging that includes a general .c file with their own specific defines. Bad C style I guess (example). Preprocessing is required and will process these cases in future.
3. There is a module that determines init_module/cleanup_module explicitly without macros module_init/module_exit. Bad module style (example). May be ignore this driver at all like the first group or report to developers that they have such a problem.