Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/lockd/svc.c make_socks() -> create_lockd_family()

Type Parameter Key Value
PARAM_VALUE 0 serv 4096-ptr_max
PARAM_VALUE 1 net 4096-ptr_max
PARAM_VALUE 1 net->gen 4096-ptr_max
PARAM_VALUE 2 family 2
BUF_SIZE 1 net (-1),1-s32max
BUF_SIZE 1 net (-1),1-s32max
CAPPED_DATA 0 serv->sv_nprogs 1
CAPPED_DATA 1 net->gen 1
DATA_SOURCE 0 serv $0
DATA_SOURCE 1 net $1
DATA_SOURCE 3 cred $2
RX_PATH
TASK_NOT_RUNNING
UNITS 1 net unit_byte
LOCK2 global &nlmsvc_mutex
HALF_LOCKED2 &host->h_rwsem
HALF_LOCKED2 global &nfsd_mutex

fs/lockd/svc.c make_socks() -> create_lockd_family()

Type Parameter Key Value
PARAM_VALUE 0 serv 4096-ptr_max
PARAM_VALUE 0 serv->sv_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 serv->sv_permsocks.next 4096-ptr_max
PARAM_VALUE 0 serv->sv_permsocks.next->next 4096-ptr_max
PARAM_VALUE 0 serv->sv_permsocks.next->prev 4096-ptr_max
PARAM_VALUE 1 net 4096-ptr_max
PARAM_VALUE 1 net->gen 4096-ptr_max
PARAM_VALUE 2 family 10
PARAM_VALUE 3 cred->non_rcu 0
BUF_SIZE 1 net (-1),1-s32max
BUF_SIZE 1 net (-1),1-s32max
CAPPED_DATA 0 serv->sv_nprogs 1
CAPPED_DATA 1 net->gen 1
DATA_SOURCE 0 serv $0
DATA_SOURCE 1 net $1
DATA_SOURCE 3 cred $2
RX_PATH
TASK_NOT_RUNNING
UNITS 1 net unit_byte
LOCK2 global &nlmsvc_mutex
HALF_LOCKED2 &host->h_rwsem
HALF_LOCKED2 global &nfsd_mutex