Documented in 1 files:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/infiniband/hw/irdma/ctrl.c irdma_sc_parse_fpm_commit_buf() -> irdma_sc_decode_fpm_commit()

Type Parameter Key Value
PARAM_VALUE 2 buf_idx 0
PARAM_VALUE 4 rsrc_idx 0
DATA_SOURCE 0 dev $0
DATA_SOURCE 1 buf $1
DATA_SOURCE 3 obj_info $2
NOCHECK_CALL

drivers/infiniband/hw/irdma/ctrl.c irdma_sc_parse_fpm_commit_buf() -> irdma_sc_decode_fpm_commit()

Type Parameter Key Value
PARAM_VALUE 1 buf 4096-ptr_max
PARAM_VALUE 2 buf_idx 8
PARAM_VALUE 3 obj_info 4096-ptr_max
PARAM_VALUE 4 rsrc_idx 1
DATA_SOURCE 0 dev $0
DATA_SOURCE 1 buf $1
DATA_SOURCE 3 obj_info $2
NOCHECK_CALL

drivers/infiniband/hw/irdma/ctrl.c irdma_sc_parse_fpm_commit_buf() -> irdma_sc_decode_fpm_commit()

Type Parameter Key Value
PARAM_VALUE 1 buf 4096-ptr_max
PARAM_VALUE 2 buf_idx 16
PARAM_VALUE 3 obj_info 4096-ptr_max
PARAM_VALUE 4 rsrc_idx 2
DATA_SOURCE 0 dev $0
DATA_SOURCE 1 buf $1
DATA_SOURCE 3 obj_info $2
NOCHECK_CALL

drivers/infiniband/hw/irdma/ctrl.c irdma_sc_parse_fpm_commit_buf() -> irdma_sc_decode_fpm_commit()

Type Parameter Key Value
PARAM_VALUE 1 buf 4096-ptr_max
PARAM_VALUE 2 buf_idx 24
PARAM_VALUE 3 obj_info 4096-ptr_max
PARAM_VALUE 4 rsrc_idx 3
DATA_SOURCE 0 dev $0
DATA_SOURCE 1 buf $1
DATA_SOURCE 3 obj_info $2
NOCHECK_CALL

drivers/infiniband/hw/irdma/ctrl.c irdma_sc_parse_fpm_commit_buf() -> irdma_sc_decode_fpm_commit()

Type Parameter Key Value
PARAM_VALUE 1 buf 4096-ptr_max
PARAM_VALUE 2 buf_idx 32
PARAM_VALUE 3 obj_info 4096-ptr_max
PARAM_VALUE 4 rsrc_idx 4
DATA_SOURCE 0 dev $0
DATA_SOURCE 1 buf $1
DATA_SOURCE 3 obj_info $2
NOCHECK_CALL

drivers/infiniband/hw/irdma/ctrl.c irdma_sc_parse_fpm_commit_buf() -> irdma_sc_decode_fpm_commit()

Type Parameter Key Value
PARAM_VALUE 1 buf 4096-ptr_max
PARAM_VALUE 2 buf_idx 40
PARAM_VALUE 3 obj_info 4096-ptr_max
PARAM_VALUE 4 rsrc_idx 5
DATA_SOURCE 0 dev $0
DATA_SOURCE 1 buf $1
DATA_SOURCE 3 obj_info $2
NOCHECK_CALL

drivers/infiniband/hw/irdma/ctrl.c irdma_sc_parse_fpm_commit_buf() -> irdma_sc_decode_fpm_commit()

Type Parameter Key Value
PARAM_VALUE 1 buf 4096-ptr_max
PARAM_VALUE 2 buf_idx 48
PARAM_VALUE 3 obj_info 4096-ptr_max
PARAM_VALUE 4 rsrc_idx 6
DATA_SOURCE 0 dev $0
DATA_SOURCE 1 buf $1
DATA_SOURCE 3 obj_info $2
NOCHECK_CALL

drivers/infiniband/hw/irdma/ctrl.c irdma_sc_parse_fpm_commit_buf() -> irdma_sc_decode_fpm_commit()

Type Parameter Key Value
PARAM_VALUE 1 buf 4096-ptr_max
PARAM_VALUE 2 buf_idx 56
PARAM_VALUE 3 obj_info 4096-ptr_max
PARAM_VALUE 4 rsrc_idx 7
DATA_SOURCE 0 dev $0
DATA_SOURCE 1 buf $1
DATA_SOURCE 3 obj_info $2
NOCHECK_CALL

drivers/infiniband/hw/irdma/ctrl.c irdma_sc_parse_fpm_commit_buf() -> irdma_sc_decode_fpm_commit()

Type Parameter Key Value
PARAM_VALUE 1 buf 4096-ptr_max
PARAM_VALUE 2 buf_idx 64
PARAM_VALUE 3 obj_info 4096-ptr_max
PARAM_VALUE 4 rsrc_idx 8
DATA_SOURCE 0 dev $0
DATA_SOURCE 1 buf $1
DATA_SOURCE 3 obj_info $2
NOCHECK_CALL

drivers/infiniband/hw/irdma/ctrl.c irdma_sc_parse_fpm_commit_buf() -> irdma_sc_decode_fpm_commit()

Type Parameter Key Value
PARAM_VALUE 1 buf 4096-ptr_max
PARAM_VALUE 2 buf_idx 72
PARAM_VALUE 3 obj_info 4096-ptr_max
PARAM_VALUE 4 rsrc_idx 9
DATA_SOURCE 0 dev $0
DATA_SOURCE 1 buf $1
DATA_SOURCE 3 obj_info $2
NOCHECK_CALL

drivers/infiniband/hw/irdma/ctrl.c irdma_sc_parse_fpm_commit_buf() -> irdma_sc_decode_fpm_commit()

Type Parameter Key Value
PARAM_VALUE 1 buf 4096-ptr_max
PARAM_VALUE 2 buf_idx 80
PARAM_VALUE 3 obj_info 4096-ptr_max
PARAM_VALUE 4 rsrc_idx 10
DATA_SOURCE 0 dev $0
DATA_SOURCE 1 buf $1
DATA_SOURCE 3 obj_info $2
NOCHECK_CALL

drivers/infiniband/hw/irdma/ctrl.c irdma_sc_parse_fpm_commit_buf() -> irdma_sc_decode_fpm_commit()

Type Parameter Key Value
PARAM_VALUE 1 buf 4096-ptr_max
PARAM_VALUE 2 buf_idx 88
PARAM_VALUE 3 obj_info 4096-ptr_max
PARAM_VALUE 4 rsrc_idx 11
DATA_SOURCE 0 dev $0
DATA_SOURCE 1 buf $1
DATA_SOURCE 3 obj_info $2
NOCHECK_CALL

drivers/infiniband/hw/irdma/ctrl.c irdma_sc_parse_fpm_commit_buf() -> irdma_sc_decode_fpm_commit()

Type Parameter Key Value
PARAM_VALUE 1 buf 4096-ptr_max
PARAM_VALUE 2 buf_idx 112
PARAM_VALUE 3 obj_info 4096-ptr_max
PARAM_VALUE 4 rsrc_idx 14
DATA_SOURCE 0 dev $0
DATA_SOURCE 1 buf $1
DATA_SOURCE 3 obj_info $2
NOCHECK_CALL

drivers/infiniband/hw/irdma/ctrl.c irdma_sc_parse_fpm_commit_buf() -> irdma_sc_decode_fpm_commit()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->hw_attrs.uk_attrs.hw_rev 0,2-255
PARAM_VALUE 1 buf 4096-ptr_max
PARAM_VALUE 2 buf_idx 96
PARAM_VALUE 3 obj_info 4096-ptr_max
PARAM_VALUE 4 rsrc_idx 12
DATA_SOURCE 0 dev $0
DATA_SOURCE 1 buf $1
DATA_SOURCE 3 obj_info $2
NOCHECK_CALL

drivers/infiniband/hw/irdma/ctrl.c irdma_sc_parse_fpm_commit_buf() -> irdma_sc_decode_fpm_commit()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->hw_attrs.uk_attrs.hw_rev 0,2-255
PARAM_VALUE 1 buf 4096-ptr_max
PARAM_VALUE 2 buf_idx 104
PARAM_VALUE 3 obj_info 4096-ptr_max
PARAM_VALUE 4 rsrc_idx 13
DATA_SOURCE 0 dev $0
DATA_SOURCE 1 buf $1
DATA_SOURCE 3 obj_info $2
NOCHECK_CALL

drivers/infiniband/hw/irdma/ctrl.c irdma_sc_parse_fpm_commit_buf() -> irdma_sc_decode_fpm_commit()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->hw_attrs.uk_attrs.hw_rev 0,2-255
PARAM_VALUE 1 buf 4096-ptr_max
PARAM_VALUE 2 buf_idx 128
PARAM_VALUE 3 obj_info 4096-ptr_max
PARAM_VALUE 4 rsrc_idx 15
DATA_SOURCE 0 dev $0
DATA_SOURCE 1 buf $1
DATA_SOURCE 3 obj_info $2
NOCHECK_CALL

drivers/infiniband/hw/irdma/ctrl.c irdma_sc_parse_fpm_commit_buf() -> irdma_sc_decode_fpm_commit()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->hw_attrs.uk_attrs.hw_rev 0,2-255
PARAM_VALUE 1 buf 4096-ptr_max
PARAM_VALUE 2 buf_idx 136
PARAM_VALUE 3 obj_info 4096-ptr_max
PARAM_VALUE 4 rsrc_idx 16
DATA_SOURCE 0 dev $0
DATA_SOURCE 1 buf $1
DATA_SOURCE 3 obj_info $2
NOCHECK_CALL

drivers/infiniband/hw/irdma/ctrl.c irdma_sc_parse_fpm_commit_buf() -> irdma_sc_decode_fpm_commit()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->hw_attrs.uk_attrs.hw_rev 0,2-255
PARAM_VALUE 1 buf 4096-ptr_max
PARAM_VALUE 2 buf_idx 144
PARAM_VALUE 3 obj_info 4096-ptr_max
PARAM_VALUE 4 rsrc_idx 17
DATA_SOURCE 0 dev $0
DATA_SOURCE 1 buf $1
DATA_SOURCE 3 obj_info $2
NOCHECK_CALL

drivers/infiniband/hw/irdma/ctrl.c irdma_sc_parse_fpm_commit_buf() -> irdma_sc_decode_fpm_commit()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->hw_attrs.uk_attrs.hw_rev 0,2-255
PARAM_VALUE 1 buf 4096-ptr_max
PARAM_VALUE 2 buf_idx 152
PARAM_VALUE 3 obj_info 4096-ptr_max
PARAM_VALUE 4 rsrc_idx 18
DATA_SOURCE 0 dev $0
DATA_SOURCE 1 buf $1
DATA_SOURCE 3 obj_info $2
NOCHECK_CALL

drivers/infiniband/hw/irdma/ctrl.c irdma_sc_parse_fpm_commit_buf() -> irdma_sc_decode_fpm_commit()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->cqp 4096-ptr_max
PARAM_VALUE 0 dev->cqp->protocol_used 1
PARAM_VALUE 0 dev->hw_attrs.uk_attrs.hw_rev 0,2-255
PARAM_VALUE 1 buf 4096-ptr_max
PARAM_VALUE 2 buf_idx 160
PARAM_VALUE 3 obj_info 4096-ptr_max
PARAM_VALUE 4 rsrc_idx 19
DATA_SOURCE 0 dev $0
DATA_SOURCE 1 buf $1
DATA_SOURCE 3 obj_info $2
NOCHECK_CALL

drivers/infiniband/hw/irdma/ctrl.c irdma_sc_parse_fpm_commit_buf() -> irdma_sc_decode_fpm_commit()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->cqp 4096-ptr_max
PARAM_VALUE 0 dev->cqp->protocol_used 1
PARAM_VALUE 0 dev->hw_attrs.uk_attrs.hw_rev 0,2-255
PARAM_VALUE 1 buf 4096-ptr_max
PARAM_VALUE 2 buf_idx 168
PARAM_VALUE 3 obj_info 4096-ptr_max
PARAM_VALUE 4 rsrc_idx 20
DATA_SOURCE 0 dev $0
DATA_SOURCE 1 buf $1
DATA_SOURCE 3 obj_info $2
NOCHECK_CALL