Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/infiniband/hw/cxgb4/ev.c c4iw_ev_dispatch() -> post_qp_event()

Type Parameter Key Value
PARAM_VALUE 1 chp 4096-ptr_max
PARAM_VALUE 2 qhp 4096-ptr_max
PARAM_VALUE 3 err_cqe 4096-ptr_max
PARAM_VALUE 4 ib_event 2
BUF_SIZE 3 err_cqe 32
BUF_SIZE 3 err_cqe 32
DATA_SOURCE 0 dev $0
DATA_SOURCE 1 chp r get_chp
DATA_SOURCE 2 qhp r xa_load
DATA_SOURCE 3 err_cqe $1
NOCHECK_CALL
USER_DATA 3 err_cqe->bits_type_ts 0-u64max[u]
USER_DATA 3 err_cqe->header 0-u32max[u]
USER_DATA 3 err_cqe->len 0-u32max[u]
USER_PTR 3 err_cqe
HALF_LOCKED2 &pool->lock

drivers/infiniband/hw/cxgb4/ev.c c4iw_ev_dispatch() -> post_qp_event()

Type Parameter Key Value
PARAM_VALUE 1 chp 4096-ptr_max
PARAM_VALUE 2 qhp 4096-ptr_max
PARAM_VALUE 3 err_cqe 4096-ptr_max
PARAM_VALUE 4 ib_event 3
BUF_SIZE 3 err_cqe 32
BUF_SIZE 3 err_cqe 32
DATA_SOURCE 0 dev $0
DATA_SOURCE 1 chp r get_chp
DATA_SOURCE 2 qhp r xa_load
DATA_SOURCE 3 err_cqe $1
NOCHECK_CALL
USER_DATA 3 err_cqe->bits_type_ts 0-u64max[u]
USER_DATA 3 err_cqe->header 0-u32max[u]
USER_DATA 3 err_cqe->len 0-u32max[u]
USER_PTR 3 err_cqe
HALF_LOCKED2 &pool->lock

drivers/infiniband/hw/cxgb4/ev.c c4iw_ev_dispatch() -> post_qp_event()

Type Parameter Key Value
PARAM_VALUE 1 chp 4096-ptr_max
PARAM_VALUE 2 qhp 4096-ptr_max
PARAM_VALUE 3 err_cqe 4096-ptr_max
PARAM_VALUE 4 ib_event 8
BUF_SIZE 3 err_cqe 32
BUF_SIZE 3 err_cqe 32
DATA_SOURCE 0 dev $0
DATA_SOURCE 1 chp r get_chp
DATA_SOURCE 2 qhp r xa_load
DATA_SOURCE 3 err_cqe $1
NOCHECK_CALL
USER_DATA 3 err_cqe->bits_type_ts 0-u64max[u]
USER_DATA 3 err_cqe->header 0-u32max[u]
USER_DATA 3 err_cqe->len 0-u32max[u]
USER_PTR 3 err_cqe
HALF_LOCKED2 &pool->lock

drivers/infiniband/hw/cxgb4/ev.c c4iw_ev_dispatch() -> post_qp_event()

Type Parameter Key Value
PARAM_VALUE 1 chp 4096-ptr_max
PARAM_VALUE 2 qhp 4096-ptr_max
PARAM_VALUE 3 err_cqe 4096-ptr_max
PARAM_VALUE 4 ib_event 1
BUF_SIZE 3 err_cqe 32
BUF_SIZE 3 err_cqe 32
DATA_SOURCE 0 dev $0
DATA_SOURCE 1 chp r get_chp
DATA_SOURCE 2 qhp r xa_load
DATA_SOURCE 3 err_cqe $1
NOCHECK_CALL
USER_DATA 3 err_cqe->bits_type_ts 0-u64max[u]
USER_DATA 3 err_cqe->header 0-u32max[u]
USER_DATA 3 err_cqe->len 0-u32max[u]
USER_PTR 3 err_cqe
HALF_LOCKED2 &pool->lock

drivers/infiniband/hw/cxgb4/ev.c c4iw_ev_dispatch() -> post_qp_event()

Type Parameter Key Value
PARAM_VALUE 1 chp 4096-ptr_max
PARAM_VALUE 2 qhp 4096-ptr_max
PARAM_VALUE 3 err_cqe 4096-ptr_max
PARAM_VALUE 4 ib_event 1
BUF_SIZE 3 err_cqe 32
BUF_SIZE 3 err_cqe 32
DATA_SOURCE 0 dev $0
DATA_SOURCE 1 chp r get_chp
DATA_SOURCE 2 qhp r xa_load
DATA_SOURCE 3 err_cqe $1
NOCHECK_CALL
USER_DATA 3 err_cqe->bits_type_ts 0-u64max[u]
USER_DATA 3 err_cqe->header 0-u32max[u]
USER_DATA 3 err_cqe->len 0-u32max[u]
USER_PTR 3 err_cqe
HALF_LOCKED2 &pool->lock