Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/media/rc/lirc_dev.c lirc_read() -> lirc_read_mode2()

Type Parameter Key Value
PARAM_VALUE 0 file 4096-ptr_max
PARAM_VALUE 0 file->f_op 4096-ptr_max
PARAM_VALUE 0 file->f_op->read 1-u64max
PARAM_VALUE 0 file->private_data 4096-ptr_max
PARAM_VALUE 2 length 0-1000000000,2147479552
CAPPED_DATA 1 buffer 1
DATA_SOURCE 0 file $0
DATA_SOURCE 1 buffer $1
DATA_SOURCE 2 length $2
FUZZY_MAX 2 length 2147479552
BIT_INFO 0 file->f_mode 0x20001,0xffffffff
USER_DATA 1 buffer 0-u64max[c]
USER_DATA 2 length 0-1000000000