Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/infiniband/sw/rxe/rxe_queue.c do_mmap_info() -> rxe_create_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 obj 4096-ptr_max
BUF_SIZE 2 udata (-1)-0,32
BUF_SIZE 2 udata (-1)-0,32
DATA_SOURCE 0 rxe $0
DATA_SOURCE 1 size $4
DATA_SOURCE 2 udata $2
DATA_SOURCE 3 obj $3
FUZZY_MAX 2 udata->outlen 32
NOSPEC 2 udata->inlen
RX_PATH
TASK_NOT_RUNNING
USER_DATA 2 udata->inlen 0-524280,18446744073709551361-u64max
USER_DATA 2 udata->outlen 0-524280,18446744073709551361-u64max
UNITS 1 size unit_byte