Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

net/sunrpc/cache.c sunrpc_cache_update() -> cache_entry_update()

Type Parameter Key Value
PARAM_VALUE 0 detail 4096-ptr_max
PARAM_VALUE 0 detail->hash_lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 h 4096-ptr_max
PARAM_VALUE 2 new 4096-ptr_max
BUF_SIZE 0 detail s32min-(-1),1-s32max
BUF_SIZE 0 detail s32min-(-1),1-s32max
DATA_SOURCE 0 detail $0
DATA_SOURCE 1 h $2
DATA_SOURCE 2 new $1
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 2 new->expiry_time s64min-s64max
LOCK2 0 &detail->hash_lock
HALF_LOCKED2 &inode->i_rwsem
TYPE_LOCK (struct cache_detail)->hash_lock

net/sunrpc/cache.c sunrpc_cache_update() -> cache_entry_update()

Type Parameter Key Value
PARAM_VALUE 0 detail 4096-ptr_max
PARAM_VALUE 0 detail->hash_lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 h 4096-ptr_max
PARAM_VALUE 1 h->cache_list.next 0
PARAM_VALUE 1 h->cache_list.pprev 0
PARAM_VALUE 1 h->flags 0
PARAM_VALUE 1 h->ref.refcount.refs.counter 1
PARAM_VALUE 2 new 4096-ptr_max
BUF_SIZE 0 detail s32min-(-1),1-s32max
BUF_SIZE 0 detail s32min-(-1),1-s32max
BUF_SIZE 1 h 48
DATA_SOURCE 0 detail $0
DATA_SOURCE 2 new $1
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 2 new->expiry_time s64min-s64max
LOCK2 0 &detail->hash_lock
HALF_LOCKED2 &inode->i_rwsem
TYPE_LOCK (struct cache_detail)->hash_lock