Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/media/dvb-core/dmxdev.c dvb_demux_read() -> dvb_dmxdev_read_sec()

Type Parameter Key Value
PARAM_VALUE 0 dfil 4096-ptr_max
PARAM_VALUE 0 dfil->mutex.dep_map->name 0-255
PARAM_VALUE 0 dfil->mutex.first_waiter 0,4096-5159360019465732095,5159360019465732097-ptr_max
PARAM_VALUE 0 dfil->mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 dfil->mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 dfil->mutex.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 dfil->mutex.wait_lock.owner (-1)
PARAM_VALUE 0 dfil->mutex.wait_lock.owner_cpu u32max
PARAM_VALUE 0 dfil->type 1
PARAM_VALUE 1 file 4096-ptr_max
PARAM_VALUE 1 file->f_op 4096-ptr_max
PARAM_VALUE 1 file->f_op->read 1-u64max
PARAM_VALUE 1 file->private_data 4096-ptr_max
PARAM_VALUE 3 count 0-1000000000,2147479552
PARAM_VALUE 4 *ppos 0-1000000000
BUF_SIZE 0 dfil s32min-(-2),1-s32max
BUF_SIZE 0 dfil s32min-(-2),1-s32max
BUF_SIZE 4 ppos (-1),8
BUF_SIZE 4 ppos (-1),8
CAPPED_DATA 0 &dfil->mutex 1
CAPPED_DATA 2 buf 1
DATA_SOURCE 1 file $0
DATA_SOURCE 2 buf $1
DATA_SOURCE 3 count $2
DATA_SOURCE 4 ppos $3
FUZZY_MAX 3 count 2147479552
BIT_INFO 1 file->f_mode 0x20001,0xffffffff
USER_DATA 2 buf 0-u64max[c]
USER_DATA 3 count 0-1000000000
USER_DATA 4 *ppos 0-1000000000
USER_PTR 4 ppos
LOCK2 0 &dfil->mutex
TYPE_LOCK (struct dmxdev_filter)->mutex