Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/nfs/write.c nfs_lock_and_join_requests() -> nfs_page_group_lock_subreq()

Type Parameter Key Value
PARAM_VALUE 0 head 4096-ptr_max
PARAM_VALUE 0 head->wb_head 4096-ptr_max
BUF_SIZE 0 head 1-s32max
BUF_SIZE 0 head 1-s32max
CAPPED_DATA 0 head 1
DATA_SOURCE 0 head r nfs_folio_find_head_request
PARAM_COMPARE 0 head != $1
PARAM_COMPARE 0 head != $1
PARAM_COMPARE 1 subreq != $0
RX_PATH
TASK_NOT_RUNNING
UNITS 0 head unit_byte
UNITS 1 subreq unit_byte