Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/infiniband/hw/hfi1/file_ops.c assign_ctxt() -> allocate_ctxt()

Type Parameter Key Value
PARAM_VALUE 0 fd 4096-ptr_max
PARAM_VALUE 0 fd->uctxt 0
PARAM_VALUE 2 uinfo 8593322086914007040
PARAM_VALUE 2 uinfo->subctxt_cnt 0-8
PARAM_VALUE 3 rcd 3530890926151278592
PARAM_VALUE 3 *rcd 0
BUF_SIZE 0 fd s32min-(-2),1-s32max
BUF_SIZE 0 fd s32min-(-2),1-s32max
DATA_SOURCE 0 fd $0
USER_DATA 2 uinfo->pad 0-u32max
USER_DATA 2 uinfo->subctxt_cnt 0-8
USER_DATA 2 uinfo->subctxt_id 0-u16max
USER_DATA 2 uinfo->userversion 0-u32max
USER_PTR 2 uinfo->uuid
LOCK2 global &hfi1_mutex