Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/lockd/svcsubs.c nlm_file_release() -> nlm_delete_file()

Type Parameter Key Value
PARAM_VALUE 0 file 4096-ptr_max
PARAM_VALUE 0 file->f_count 0
PARAM_VALUE 0 file->f_locks 0
PARAM_VALUE 0 file->f_shares 0
DATA_SOURCE 0 file $0
PARAM_COMPARE 0 &file->f_blocks == $0->f_blocks.next
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &nlm_file_mutex
HALF_LOCKED2 global &nlm_host_mutex

fs/lockd/svcsubs.c nlm_release_file() -> nlm_delete_file()

Type Parameter Key Value
PARAM_VALUE 0 file 4096-ptr_max
PARAM_VALUE 0 file->f_count 0
PARAM_VALUE 0 file->f_locks 0
PARAM_VALUE 0 file->f_shares 0
DATA_SOURCE 0 file $0
PARAM_COMPARE 0 &file->f_blocks == $0->f_blocks.next
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &nlm_file_mutex
HALF_LOCKED2 mutex