Hi! There is a potential data race in drivers/isdn/hardware/eicon/diva_mnt.ko
In diva_maint_init there is an initialization of spinlocks (debug.c: lines 245, 252) and a queue (debug.c: line 237). These objects are used in handlers of divas_main_fops, for instance, divas_maint_read. These ops are registered in divas_maint_register_chrdev, which is called (divamnt.c: line 206) before initialization (divamnt.c: line 211). Thus, there may occur a situation when the handlers of divas_main_fops occur to uninitialized resources.
-- Pavel Andrianov Linux Verification Center, ISPRAS web: http://linuxtesting.org e-mail: andria...@ispras.ru
