Online Linux Driver Verification Service (alpha)

This page contains the list of verified rules. You can see more detailed information on them by clicking on the corresponding rule name.

Mutex lock/unlock
NOIO allocation under usb_lock
Module get/put
PCI pool create/destroy, alloc/free
Delay in probe_irq on/off
Memory allocation inside spinlocks
Linked list double add
Usb alloc/free urb
Spinlocks lock/unlock