Online Linux Driver Verification Service (alpha)

Start Verification   Verification History   Rules
Rules
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