Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 1 file 4096-ptr_max
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
NOCHECK_CALL
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