Locks

This case checks for locks that are not released or that are taken more than once.

Lock

This case is for functions that take locks.

Semantic match finding a lock that is taken but not released.
Semantic match finding a lock that is taken more than once.
A note finding semantic match, in the rules lock. This refers to this semantic match.

This case is for functions that disable interrupts.

Semantic match finding cases where interrupts are turned off but not turned on again, using the functions local_irq_save or save_and_cli.
Semantic match finding cases where interrupts are turned off but not turned on again, using the functions cli (obtained using the arguments -D lock=cli -D unlock=sti) or local_irq_disable (obtained using the arguments -D lock=local_irq_disable -D unlock=local_irq_enable).
A note finding semantic match, in the rules intr. This refers to this semantic match.

Linux 2.4, local_irq_save and save_and_cli: Results, Correlation information
Linux 2.4, cli: Results, Correlation information
Linux 2.4, local_irq_disable: Results, Correlation information
Linux 2.6, local_irq_save and save_and_cli: Results, Correlation information
Linux 2.6, cli: Results, Correlation information
Linux 2.6, local_irq_disable: Results, Correlation information

This case is for functions that take locks and disable interrupts.

Semantic match finding a lock that is taken but not released. Interrupts are disabled at the same time.
Semantic match finding a lock that is taken more than once. Interrupts are disabled at the same time.
A note finding semantic match, in the rules lockintr. This refers to this semantic match.