Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 4 files:

Smatch caller information:

drivers/infiniband/sw/rxe/rxe_srq.c rxe_srq_from_init() -> do_mmap_info()

Type Parameter Key Value
PARAM_VALUE 0 rxe 4096-ptr_max
PARAM_VALUE 0 rxe->srq_pool.xa.xa_lock.rlock.dep_map->name 0-255
PARAM_VALUE 2 udata 0,4096-ptr_max
PARAM_VALUE 2 udata->outlen 24-524280,18446744073709551361-u64max
PARAM_VALUE 3 buf 4096-ptr_max
PARAM_VALUE 3 buf->log2_elem_size 0-64
PARAM_VALUE 5 ip_p 4096-ptr_max
BUF_SIZE 1 outbuf 0,16
DATA_SOURCE 0 rxe $0
DATA_SOURCE 2 udata $3
FUZZY_MAX 2 udata->outlen 24
RX_PATH
TASK_NOT_RUNNING
USER_DATA 2 udata->inlen 0-524280,18446744073709551361-u64max
USER_DATA 2 udata->outlen 24-524280,18446744073709551361-u64max
UNITS 4 buf_size unit_byte
HALF_LOCKED2 &devr->srq_lock
HALF_LOCKED2 global &device_list_mutex

drivers/infiniband/sw/rxe/rxe_cq.c rxe_cq_from_init() -> do_mmap_info()

Type Parameter Key Value
PARAM_VALUE 0 rxe 4096-ptr_max
PARAM_VALUE 0 rxe->attr.max_cqe 1-u32max
PARAM_VALUE 0 rxe->cq_pool.xa.xa_lock.rlock.dep_map->name 0-255
PARAM_VALUE 2 udata 0,4096-ptr_max
PARAM_VALUE 2 udata->inlen 0-524280,18446744073709551361-u64max
PARAM_VALUE 2 udata->outlen 0-524280,18446744073709551361-u64max
PARAM_VALUE 3 buf 4096-ptr_max
PARAM_VALUE 3 buf->log2_elem_size 0-64
PARAM_VALUE 5 ip_p 4096-ptr_max
BUF_SIZE 1 outbuf 0,16
BUF_SIZE 2 udata 32
DATA_SOURCE 0 rxe $0
DATA_SOURCE 2 udata $4
RX_PATH
TASK_NOT_RUNNING
USER_DATA 2 udata->inlen 0-524280,18446744073709551361-u64max
USER_DATA 2 udata->outlen 0-524280,18446744073709551361-u64max
UNITS 4 buf_size unit_byte

drivers/infiniband/sw/rxe/rxe_qp.c rxe_init_rq() -> do_mmap_info()

Type Parameter Key Value
PARAM_VALUE 2 udata 0,4096-ptr_max
PARAM_VALUE 2 udata->inlen 0-524280,18446744073709551361-u64max
PARAM_VALUE 2 udata->outlen 0-524280,18446744073709551361-u64max
PARAM_VALUE 3 buf 4096-ptr_max
PARAM_VALUE 3 buf->log2_elem_size 0-64
PARAM_VALUE 5 ip_p 4096-ptr_max
BUF_SIZE 1 outbuf 0,16
BUF_SIZE 2 udata 0,32
BUF_SIZE 2 udata 0,32
DATA_SOURCE 0 rxe r to_rdev
DATA_SOURCE 2 udata $2
FUZZY_MAX 2 udata->outlen 32
RX_PATH
TASK_NOT_RUNNING
USER_DATA 2 udata->inlen 0-524280,18446744073709551361-u64max
USER_DATA 2 udata->outlen 0-524280,18446744073709551361-u64max
UNITS 4 buf_size unit_byte

drivers/infiniband/sw/rxe/rxe_qp.c rxe_init_sq() -> do_mmap_info()

Type Parameter Key Value
PARAM_VALUE 1 outbuf 0,4096-ptr_max
PARAM_VALUE 2 udata 0,4096-ptr_max
PARAM_VALUE 2 udata->inlen 0-524280,18446744073709551361-u64max
PARAM_VALUE 2 udata->outlen 0-524280,18446744073709551361-u64max
PARAM_VALUE 3 buf 4096-ptr_max
PARAM_VALUE 3 buf->log2_elem_size 0-64
PARAM_VALUE 5 ip_p 4096-ptr_max
BUF_SIZE 1 outbuf 0,16
BUF_SIZE 2 udata 0,32
BUF_SIZE 2 udata 0,32
DATA_SOURCE 0 rxe r to_rdev
DATA_SOURCE 2 udata $2
FUZZY_MAX 2 udata->outlen 32
RX_PATH
TASK_NOT_RUNNING
USER_DATA 2 udata->inlen 0-524280,18446744073709551361-u64max
USER_DATA 2 udata->outlen 0-524280,18446744073709551361-u64max
UNITS 4 buf_size unit_byte

drivers/infiniband/sw/rxe/rxe_queue.c rxe_queue_resize() -> do_mmap_info()

Type Parameter Key Value
PARAM_VALUE 2 udata 0,4096-ptr_max
PARAM_VALUE 2 udata->inlen 0-524280,18446744073709551361-u64max
PARAM_VALUE 2 udata->outlen 0-524280,18446744073709551361-u64max
PARAM_VALUE 3 buf 4096-ptr_max
PARAM_VALUE 3 buf->log2_elem_size 0-64
PARAM_VALUE 5 ip_p 4096-ptr_max
BUF_SIZE 1 outbuf (-1)-0,16
BUF_SIZE 1 outbuf (-1)-0,16
CAPPED_DATA 2 udata->inlen 1
DATA_SOURCE 1 outbuf $4
DATA_SOURCE 2 udata $3
FUZZY_MAX 2 udata->outlen 16
NOSPEC 2 udata->inlen
USER_DATA 2 udata->inlen 0-524280,18446744073709551361-u64max[c]
USER_DATA 2 udata->outlen 0-524280,18446744073709551361-u64max
UNITS 4 buf_size unit_byte