Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/ceph/caps.c __send_cap() -> encode_cap_msg()

Type Parameter Key Value
PARAM_VALUE 0 msg 4096-ptr_max
PARAM_VALUE 1 arg 1307990400622133248,7297314728136613888,7679424306610995200
PARAM_VALUE 1 arg->caps 0-s32max
PARAM_VALUE 1 arg->flags 0-1,4-5,8
PARAM_VALUE 1 arg->fscrypt_auth_len 0-48
PARAM_VALUE 1 arg->op 5,7
PARAM_VALUE 1 arg->wanted 0-66047
DATA_SOURCE 0 msg r ceph_msg_new
DATA_SOURCE 1 arg $0
HARD_MAX 1 arg->op 7
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

fs/ceph/caps.c __send_flush_snap() -> encode_cap_msg()

Type Parameter Key Value
PARAM_VALUE 0 msg 4096-ptr_max
PARAM_VALUE 1 arg 1432291381036552192
PARAM_VALUE 1 arg->cid 0
PARAM_VALUE 1 arg->flags 0
PARAM_VALUE 1 arg->fscrypt_auth_len 0
PARAM_VALUE 1 arg->issue_seq 0
PARAM_VALUE 1 arg->max_size 0
PARAM_VALUE 1 arg->op 9
PARAM_VALUE 1 arg->seq 0
PARAM_VALUE 1 arg->wake 0
PARAM_VALUE 1 arg->wanted 0
DATA_SOURCE 0 msg r ceph_msg_new
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL