Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

fs/netfs/fscache_io.c fscache_begin_operation() -> fscache_begin_cookie_access()

Type Parameter Key Value
PARAM_VALUE 0 cookie 4096-ptr_max
PARAM_VALUE 1 why 8-9,11
DATA_SOURCE 0 cookie $1
DATA_SOURCE 1 why $3
HARD_MAX 1 why 11
RX_PATH
TASK_NOT_RUNNING

fs/netfs/fscache_cookie.c __fscache_invalidate() -> fscache_begin_cookie_access()

Type Parameter Key Value
PARAM_VALUE 0 cookie 4096-ptr_max
PARAM_VALUE 0 cookie->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 cookie->state 3
PARAM_VALUE 1 why 4
CAPPED_DATA 0 cookie 1
DATA_SOURCE 0 cookie $0
NOSPEC 0 cookie->object_size
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 cookie->object_size (-9223372036854775807)-(-4),0-s64max
LOCK2 0 &cookie->lock
HALF_LOCKED2 &inode->i_rwsem
HALF_LOCKED2 &vnode->validate_lock
TYPE_LOCK (struct fscache_cookie)->lock