Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/usb/gadget/function/f_fs.c ffs_epfile_io() -> __ffs_epfile_read_data()

Type Parameter Key Value
PARAM_VALUE 0 epfile 4096-ptr_max
PARAM_VALUE 0 epfile->ep 1-ptr_max
PARAM_VALUE 0 epfile->ffs 4096-ptr_max
PARAM_VALUE 0 epfile->ffs->eps_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 epfile->ffs->gadget 4096-ptr_max
PARAM_VALUE 0 epfile->ffs->state 2
PARAM_VALUE 0 epfile->ffs->wait.head.prev->next 4096-ptr_max
PARAM_VALUE 0 epfile->ffs->wait.head.prev->next->next 4096-ptr_max
PARAM_VALUE 0 epfile->mutex.dep_map->name 0-255
PARAM_VALUE 0 epfile->mutex.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 epfile->mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 epfile->mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 epfile->mutex.wait_lock.dep_map->name 0-255
PARAM_VALUE 1 data 1-u64max
PARAM_VALUE 2 data_len 1-s32max
PARAM_VALUE 3 iter 4096-ptr_max
BUF_SIZE 0 epfile s32min-(-1),1-s32max
BUF_SIZE 0 epfile s32min-(-1),1-s32max
CAPPED_DATA 0 epfile->ep 1
CAPPED_DATA 0 &epfile->mutex 1
DATA_SOURCE 1 data r ffs_alloc_buffer
NOSPEC 3 iter->count
RX_PATH
TASK_NOT_RUNNING
USER_DATA 3 iter->count 1-1000000000
USER_DATA 3 iter->iov_offset 0-u64max[c]
UNITS 2 data_len unit_byte
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 0 &epfile->mutex