Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/lockd/svcsubs.c nlm_inspect_file() -> nlm_traverse_locks()

Type Parameter Key Value
PARAM_VALUE 1 file 4096-ptr_max
PARAM_VALUE 1 file->f_mutex.dep_map->name 0-255
PARAM_VALUE 1 file->f_mutex.first_waiter 0,4096-ptr_max
PARAM_VALUE 1 file->f_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 1 file->f_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 1 *file->f_shares->s_access 0-4294967295
PARAM_VALUE 1 *file->f_shares->s_access_deny_bmap 0-u16max
PARAM_VALUE 1 *file->f_shares->s_mode 0-4294967295
PARAM_VALUE 2 match 512484380613156864,1422824001078591488,2268490407342813184,4513335679575076864,6795631142264213504
BUF_SIZE 0 host (-1),128,976
BUF_SIZE 0 host (-1),128,976
DATA_SOURCE 0 host $0
DATA_SOURCE 1 file $1
DATA_SOURCE 2 match $2
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 host->h_addr.ss_family 0-u16max[u]
USER_DATA 0 host->h_addrlen 0-u64max[u]
USER_DATA 0 host->h_count.refs.counter s32min-s32max[u]
USER_DATA 0 host->h_expires 0-u64max[u]
USER_DATA 0 host->h_inuse 0-1[u]
USER_DATA 0 host->h_mutex.osq.tail.counter s32min-s32max[u]
USER_DATA 0 host->h_mutex.owner.counter s64min-s64max[u]
USER_DATA 0 host->h_nextrebind 0-u64max[u]
USER_DATA 0 host->h_noresvport 0-1[u]
USER_DATA 0 host->h_nsmstate 0-u32max[u]
USER_DATA 0 host->h_pidcount 0-u32max[u]
USER_DATA 0 host->h_proto 0-u16max[u]
USER_DATA 0 host->h_reclaiming 0-1[u]
USER_DATA 0 host->h_rwsem.count.counter s64min-s64max[u]
USER_DATA 0 host->h_rwsem.osq.tail.counter s32min-s32max[u]
USER_DATA 0 host->h_rwsem.owner.counter s64min-s64max[u]
USER_DATA 0 host->h_server 0-1[u]
USER_DATA 0 host->h_srcaddr.ss_family 0-u16max[u]
USER_DATA 0 host->h_srcaddrlen 0-u64max[u]
USER_DATA 0 host->h_state 0-u32max[u]
USER_DATA 0 host->h_version 0-u32max[u]
UNITS 0 host unit_byte
USER_PTR 0 host
HALF_LOCKED2 global &nlm_host_mutex