Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/plip/plip.c plip_timer_bh() -> plip_interrupt()

Type Parameter Key Value
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/usb/misc/uss720.c parport_generic_irq() -> (struct pardevice)->irq_func()

Type Parameter Key Value
BUF_SIZE 0 dev_id s32min-(-2),1-s32max
CONTAINER 0 *(-48+40) $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &port->cad_lock
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct parport)->cad_lock

drivers/parport/share.c parport_generic_irq() -> (struct pardevice)->irq_func()

Type Parameter Key Value
BUF_SIZE 0 dev_id s32min-(-2),1-s32max
CONTAINER 0 *(-48+40) $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &port->cad_lock
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 _T->lock
HALF_LOCKED2 flags
HALF_LOCKED2 irq
TYPE_LOCK (struct parport)->cad_lock