Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/misc/issei/cdev.c issei_read() -> issei_cl_read()

Type Parameter Key Value
PARAM_VALUE 0 cl 4096-ptr_max
PARAM_VALUE 0 cl->idev 4096-ptr_max
PARAM_VALUE 0 cl->idev->dma.length.f2h 1-u64max
PARAM_VALUE 0 cl->idev->rst_state 5
PARAM_VALUE 1 buf 1707554762469228544
PARAM_VALUE 1 *buf 0
PARAM_VALUE 1 *(*buf) 0
PARAM_VALUE 2 buf_size 1-1000000000,2147479552
BUF_SIZE 0 cl s32min-(-2),1-s32max
BUF_SIZE 0 cl s32min-(-2),1-s32max
CAPPED_DATA 2 buf_size 1
CAPPED_DATA 2 buf_size 1
DATA_SOURCE 2 buf_size $2
USER_DATA 2 buf_size 1-1000000000[c]

drivers/misc/issei/cdev.c issei_read() -> issei_cl_read()

Type Parameter Key Value
PARAM_VALUE 0 cl 4096-ptr_max
PARAM_VALUE 0 cl->idev 4096-ptr_max
PARAM_VALUE 0 cl->idev->dma.length.f2h 1-u64max
PARAM_VALUE 0 cl->idev->rst_state 5
PARAM_VALUE 0 cl->read_data 0
PARAM_VALUE 0 cl->state 1
PARAM_VALUE 1 buf 1707554762469228544
PARAM_VALUE 1 *buf 0
PARAM_VALUE 1 *(*buf) 0
PARAM_VALUE 2 buf_size 1-1000000000,2147479552
BUF_SIZE 0 cl s32min-(-2),1-s32max
BUF_SIZE 0 cl s32min-(-2),1-s32max
CAPPED_DATA 2 buf_size 1
CAPPED_DATA 2 buf_size 1
DATA_SOURCE 2 buf_size $2
NOSPEC 2 buf_size
NOSPEC 2 buf_size
USER_DATA 2 buf_size 1-1000000000[c]