Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

fs/cachefiles/io.c cachefiles_issue_write() -> __cachefiles_prepare_write()

Type Parameter Key Value
PARAM_VALUE 0 object 4096-ptr_max
PARAM_VALUE 0 object->volume 4096-ptr_max
PARAM_VALUE 0 object->volume->cache 4096-ptr_max
PARAM_VALUE 2 _start 3771636607777107968
PARAM_VALUE 3 _len 2581187365242073088
PARAM_VALUE 5 no_space_allocated_yet 1
DATA_SOURCE 0 object r cachefiles_cres_object
RX_PATH
TASK_NOT_RUNNING
USER_DATA 3 *_len 0-18446744073709551614[c]
USER_DATA 4 upper_len 0-18446744073709551614[c]
UNITS 4 upper_len unit_byte
USER_PTR 3 _len

fs/cachefiles/io.c cachefiles_prepare_write() -> __cachefiles_prepare_write()

Type Parameter Key Value
PARAM_VALUE 0 object 4096-ptr_max
PARAM_VALUE 0 object->volume 4096-ptr_max
PARAM_VALUE 0 object->volume->cache 4096-ptr_max
PARAM_VALUE 1 file 1-u64max
PARAM_VALUE 3 *_len 1-u64max
PARAM_VALUE 4 upper_len 1-u64max
PARAM_VALUE 5 no_space_allocated_yet 0
DATA_SOURCE 0 object r cachefiles_cres_object
DATA_SOURCE 2 _start $1
DATA_SOURCE 3 _len $2
DATA_SOURCE 4 upper_len $3
DATA_SOURCE 5 no_space_allocated_yet $5
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 3 *_len
NO_OVERFLOW_SIMPLE 4 upper_len