Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

drivers/infiniband/hw/mlx4/qp.c create_qp_common() -> mlx4_ib_db_map_user()

Type Parameter Key Value
PARAM_VALUE 0 udata 4096-ptr_max
PARAM_VALUE 0 udata->inlen 0-64
PARAM_VALUE 2 db 4096-ptr_max
BUF_SIZE 0 udata 0,32
BUF_SIZE 0 udata 0,32
CAPPED_DATA 0 udata->inlen 1
DATA_SOURCE 0 udata $2
NOSPEC 0 udata->inlen
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 udata->inlen 0-64[c]
USER_DATA 0 udata->outlen 0-524280,18446744073709551361-u64max
USER_DATA 1 virt 0-u64max

drivers/infiniband/hw/mlx4/qp.c create_rq() -> mlx4_ib_db_map_user()

Type Parameter Key Value
PARAM_VALUE 0 udata 4096-ptr_max
PARAM_VALUE 0 udata->inlen 0-64
PARAM_VALUE 0 udata->outlen 0
PARAM_VALUE 2 db 4096-ptr_max
CAPPED_DATA 0 udata->inlen 1
DATA_SOURCE 0 udata $2
NOSPEC 0 udata->inlen
USER_DATA 0 udata->inlen 0-64[c]
USER_DATA 0 udata->outlen 0
USER_DATA 1 virt 0-u64max

drivers/infiniband/hw/mlx4/srq.c mlx4_ib_create_srq() -> mlx4_ib_db_map_user()

Type Parameter Key Value
PARAM_VALUE 0 udata 4096-ptr_max
PARAM_VALUE 0 udata->inlen 0-64
PARAM_VALUE 0 udata->outlen 0-524280,18446744073709551361-u64max
PARAM_VALUE 2 db 4096-ptr_max
CAPPED_DATA 0 udata->inlen 1
DATA_SOURCE 0 udata $2
NOSPEC 0 udata->inlen
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 udata->inlen 0-64[c]
USER_DATA 0 udata->outlen 0-524280,18446744073709551361-u64max
USER_DATA 1 virt 0-u64max
HALF_LOCKED2 &devr->srq_lock
HALF_LOCKED2 global &device_list_mutex

drivers/infiniband/hw/mlx4/cq.c mlx4_ib_create_user_cq() -> mlx4_ib_db_map_user()

Type Parameter Key Value
PARAM_VALUE 0 udata 4096-ptr_max
PARAM_VALUE 0 udata->inlen 0-64
PARAM_VALUE 0 udata->outlen 0-524280,18446744073709551361-u64max
PARAM_VALUE 2 db 4096-ptr_max
BUF_SIZE 0 udata 32
CAPPED_DATA 0 udata->inlen 1
NOSPEC 0 udata->inlen
USER_DATA 0 udata->inlen 0-64[c]
USER_DATA 0 udata->outlen 0-524280,18446744073709551361-u64max
USER_DATA 1 virt 0-u64max