Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a member:

Defined in 1 files as a function:

Referenced in 16 files:

Smatch caller information:

drivers/media/rc/ir-jvc-decoder.c ir_jvc_decode() -> rc_repeat()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->raw->jvc.first 0
DATA_SOURCE 0 dev $0
NOCHECK_CALL
LOCK2 global &ir_raw_handler_lock

drivers/media/usb/dvb-usb/dtt200u.c dtt200u_rc_query() -> rc_repeat()

Type Parameter Key Value
NOCHECK_CALL
LOCK2 &d->data_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct dvb_usb_device)->data_mutex

drivers/media/rc/meson-ir.c meson_ir_nec_handler() -> rc_repeat()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->driver_type 0
BIT_INFO 0 dev->enabled_protocols 0x200,0xffffffffffffffff
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &ir->lock
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 _T->lock
HALF_LOCKED2 flags
TYPE_LOCK (struct meson_ir)->lock

drivers/media/usb/dvb-usb/a800.c a800_rc_query() -> rc_repeat()

Type Parameter Key Value
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/media/usb/dvb-usb/dib0700_core.c dib0700_rc_urb_completion() -> rc_repeat()

Type Parameter Key Value
PARAM_VALUE 0 dev 1-u64max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/media/rc/ir-xmp-decoder.c ir_xmp_decode() -> rc_repeat()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->raw->xmp.count 16
DATA_SOURCE 0 dev $0
NOCHECK_CALL
LOCK2 global &ir_raw_handler_lock

drivers/media/rc/ir-sanyo-decoder.c ir_sanyo_decode() -> rc_repeat()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->raw->sanyo.count 0
DATA_SOURCE 0 dev $0
NOCHECK_CALL
LOCK2 global &ir_raw_handler_lock

drivers/media/usb/dvb-usb/m920x.c m920x_rc_core_query() -> rc_repeat()

Type Parameter Key Value
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/media/rc/bpf-lirc.c ____bpf_rc_repeat() -> rc_repeat()

Type Parameter Key Value
NOCHECK_CALL

drivers/media/usb/dvb-usb-v2/af9015.c af9015_rc_query() -> rc_repeat()

Type Parameter Key Value
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/media/rc/ir-nec-decoder.c ir_nec_decode() -> rc_repeat()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->raw->nec.count 1
PARAM_VALUE 0 dev->raw->nec.necx_repeat 1
DATA_SOURCE 0 dev $0
NOCHECK_CALL
LOCK2 global &ir_raw_handler_lock

drivers/media/rc/ir-nec-decoder.c ir_nec_decode() -> rc_repeat()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->raw->nec.count 0-31,33-u32max
DATA_SOURCE 0 dev $0
NOCHECK_CALL
LOCK2 global &ir_raw_handler_lock

drivers/media/usb/dvb-usb/dib0700_devices.c dib0700_rc_query_old_firmware() -> rc_repeat()

Type Parameter Key Value
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/media/rc/img-ir/img-ir-hw.c img_ir_handle_data() -> rc_repeat()

Type Parameter Key Value
PARAM_VALUE 0 dev 1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &priv->lock
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 _T->lock
HALF_LOCKED2 flags
TYPE_LOCK (struct img_ir_priv)->lock