Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

fs/lockd/clntlock.c nlmclnt_done() -> lockd_down()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 net unit_byte

fs/lockd/clntlock.c nlmclnt_init() -> lockd_down()

Type Parameter Key Value
PARAM_VALUE 0 net 4096-ptr_max
PARAM_VALUE 0 net->gen 4096-ptr_max
CAPPED_DATA 0 net 1
CAPPED_DATA 0 net->gen 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 net unit_byte

fs/lockd/clntlock.c reclaimer() -> lockd_down()

Type Parameter Key Value
NOCHECK_CALL
UNITS 0 net unit_byte

fs/nfsd/nfssvc.c nfsd_shutdown_net() -> lockd_down()

Type Parameter Key Value
PARAM_VALUE 0 net 4096-ptr_max
PARAM_VALUE 0 net->gen 4096-ptr_max
PARAM_VALUE 0 net->refcnt_tracker.dead 1
BUF_SIZE 0 net (-1),1-s32max
BUF_SIZE 0 net (-1),1-s32max
CAPPED_DATA 0 net 1
CAPPED_DATA 0 net->gen 1
DATA_SOURCE 0 net $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 net unit_byte
LOCK2 global &nfsd_mutex

fs/nfsd/nfssvc.c nfsd_startup_net() -> lockd_down()

Type Parameter Key Value
PARAM_VALUE 0 net 4096-ptr_max
PARAM_VALUE 0 net->gen 4096-ptr_max
PARAM_VALUE 0 net->refcnt_tracker.dead 1
BUF_SIZE 0 net (-1),1-s32max
BUF_SIZE 0 net (-1),1-s32max
CAPPED_DATA 0 net 1
CAPPED_DATA 0 net->gen 1
DATA_SOURCE 0 net $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 net unit_byte
LOCK2 global &nfsd_mutex