Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/nfs/nfs4xdr.c decode_op_hdr() -> __decode_op_hdr()

Type Parameter Key Value
PARAM_VALUE 0 xdr 8277573992891842560
PARAM_VALUE 0 xdr->buf 4096-ptr_max
PARAM_VALUE 0 xdr->rqst 4096-ptr_max
PARAM_VALUE 1 expected 3-6,8-16,20-22,24-34,36,38-39,41-47,49-53,55,57-62,64-69,71-75
PARAM_VALUE 2 nfs_retval 3736782576694951936
DATA_SOURCE 0 xdr $0
DATA_SOURCE 1 expected $1
HARD_MAX 1 expected 75
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

fs/nfs/nfs4xdr.c decode_open() -> __decode_op_hdr()

Type Parameter Key Value
PARAM_VALUE 0 xdr 8277573992891842560
PARAM_VALUE 0 xdr->buf 4096-ptr_max
PARAM_VALUE 0 xdr->rqst 4096-ptr_max
PARAM_VALUE 1 expected 18
PARAM_VALUE 2 nfs_retval 5760812852617220096
DATA_SOURCE 0 xdr $0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &pool->lock