Klever

1. drivers/uwb/hwa-rc.ko
2. drivers/isdn/gigaset/bas_gigaset.ko
3. drivers/net/wireless/p54/p54usb.ko
4. drivers/hid/usbhid/usbhid.ko
5. drivers/usb/storage/usb-storage.ko
6. drivers/staging/ced1401/cedusb.ko
7. drivers/media/usb/pvrusb2/pvrusb2.ko
8. drivers/media/usb/tlg2300/poseidon.ko
9. drivers/staging/usbip/usbip-host.ko
10. drivers/net/usb/hso.ko
11. drivers/staging/keucr/keucr.ko
12. drivers/mmc/host/vub300.ko

It is caused by absence of requesting of argument signatures for USB locking functions in rule specification linux:mutex:as. Let's postpone this issue since this was added in that rule specification just for the old implementation of so called multiaspect verification in LDV Tools that will be completely another in Klever.

There are not these issues now.