Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 8 files:

Smatch caller information:

fs/afs/write.c afs_issue_write_worker() -> netfs_write_subrequest_terminated()

Type Parameter Key Value
PARAM_VALUE 0 _op 4096-ptr_max
PARAM_VALUE 1 transferred_or_error (-11)
HALF_LOCKED2 &pool->lock

fs/afs/write.c afs_issue_write_worker() -> netfs_write_subrequest_terminated()

Type Parameter Key Value
PARAM_VALUE 0 _op 4096-ptr_max
BIT_INFO 1 transferred_or_error 0x0,0x7fffffffffffffff
NOCHECK_CALL
UNITS 1 transferred_or_error unit_byte
HALF_LOCKED2 &pool->lock

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

Type Parameter Key Value
PARAM_VALUE 0 _op 4096-ptr_max
PARAM_VALUE 1 transferred_or_error 0-4095
CAPPED_DATA 1 transferred_or_error 1
DATA_SOURCE 0 _op $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 1 transferred_or_error 1-4095[c]
UNITS 1 transferred_or_error unit_byte

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

Type Parameter Key Value
PARAM_VALUE 0 _op 4096-ptr_max
PARAM_VALUE 1 transferred_or_error 1-4095
DATA_SOURCE 0 _op $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 1 transferred_or_error 2-4094[c]

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

Type Parameter Key Value
PARAM_VALUE 0 _op 4096-ptr_max
PARAM_VALUE 1 transferred_or_error s32min-(-1)
DATA_SOURCE 0 _op $0
DATA_SOURCE 1 transferred_or_error r __cachefiles_prepare_write
BIT_INFO 1 transferred_or_error 0x0,0x7fffffff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

fs/9p/vfs_addr.c v9fs_issue_write() -> netfs_write_subrequest_terminated()

Type Parameter Key Value
PARAM_VALUE 0 _op 4096-ptr_max
PARAM_VALUE 1 transferred_or_error s32min-s32max
DATA_SOURCE 0 _op $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

fs/smb/client/file.c cifs_write_subrequest_terminated() -> netfs_write_subrequest_terminated()

Type Parameter Key Value
PARAM_VALUE 0 _op 4096-ptr_max
PARAM_VALUE 1 transferred_or_error s32min-4294967295
BUF_SIZE 0 _op 200
CAPPED_DATA 1 transferred_or_error 1
CAPPED_DATA 1 transferred_or_error 1
DATA_SOURCE 1 transferred_or_error $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 1 transferred_or_error
UNITS 1 transferred_or_error unit_byte

fs/netfs/write_issue.c netfs_do_issue_write() -> netfs_write_subrequest_terminated()

Type Parameter Key Value
PARAM_VALUE 0 _op 4096-ptr_max
DATA_SOURCE 0 _op $1
RX_PATH
TASK_NOT_RUNNING
UNITS 1 transferred_or_error unit_byte

net/9p/client.c p9_client_write_subreq() -> netfs_write_subrequest_terminated()

Type Parameter Key Value
PARAM_VALUE 0 _op 4096-ptr_max
PARAM_VALUE 1 transferred_or_error (-4095)-(-1)
DATA_SOURCE 0 _op $0
NOCHECK_CALL

net/9p/client.c p9_client_write_subreq() -> netfs_write_subrequest_terminated()

Type Parameter Key Value
PARAM_VALUE 0 _op 4096-ptr_max
PARAM_VALUE 1 transferred_or_error s32min-(-1),1-s32max
DATA_SOURCE 0 _op $0
DATA_SOURCE 1 transferred_or_error r p9pdu_readf
NOCHECK_CALL

net/9p/client.c p9_client_write_subreq() -> netfs_write_subrequest_terminated()

Type Parameter Key Value
PARAM_VALUE 0 _op 4096-ptr_max
CAPPED_DATA 1 transferred_or_error 1
DATA_SOURCE 0 _op $0
NOCHECK_CALL
UNITS 1 transferred_or_error unit_byte

fs/netfs/direct_write.c netfs_unbuffered_write() -> netfs_write_subrequest_terminated()

Type Parameter Key Value
PARAM_VALUE 0 _op 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 1 transferred_or_error unit_byte
HALF_LOCKED2 &inode->i_rwsem
HALF_LOCKED2 &pool->lock

fs/cachefiles/io.c cachefiles_write() -> cachefiles_write param 3()

Type Parameter Key Value
PARAM_VALUE 0 _op 4096-ptr_max
PARAM_VALUE 1 transferred_or_error (-105)
BUF_SIZE 0 _op (-1),80
BUF_SIZE 0 _op (-1),80
DATA_SOURCE 0 _op $4
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

fs/cachefiles/io.c __cachefiles_write() -> __cachefiles_write param 4()

Type Parameter Key Value
PARAM_VALUE 0 _op 4096-ptr_max
PARAM_VALUE 1 transferred_or_error (-12)
BUF_SIZE 0 _op (-1),80
BUF_SIZE 0 _op (-1),80
DATA_SOURCE 0 _op $5
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

fs/cachefiles/io.c cachefiles_read_complete() -> (struct cachefiles_kiocb)->term_func()

Type Parameter Key Value
BUF_SIZE 0 _op 80
DATA_SOURCE 1 transferred_or_error $1 [m]
CONTAINER 0 *(-80+88) $(-1)
NOSPEC 1 transferred_or_error
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 1 transferred_or_error 2-4294967295[c]
USER_DATA 1 transferred_or_error s64min-s64max
HALF_LOCKED2 &epdata->dev->lock

fs/cachefiles/io.c cachefiles_write_complete() -> (struct cachefiles_kiocb)->term_func()

Type Parameter Key Value
BUF_SIZE 0 _op 80
DATA_SOURCE 1 transferred_or_error $1
CONTAINER 0 *(-80+88) $(-1)
NOSPEC 1 transferred_or_error
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 1 transferred_or_error 2-4294967295[c]
USER_DATA 1 transferred_or_error s64min-s64max
HALF_LOCKED2 &epdata->dev->lock