Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/infiniband/hw/hfi1/mad.c check_mkey() -> bad_mkey()

Type Parameter Key Value
PARAM_VALUE 0 ibp 4096-ptr_max
PARAM_VALUE 0 ibp->rvp.mkey 1-u64max
PARAM_VALUE 1 mad 4096-ptr_max
PARAM_VALUE 1 mad->method 1-2,7
BUF_SIZE 0 ibp (-1),664
BUF_SIZE 0 ibp (-1),664
BUF_SIZE 4 return_path 64
BUF_SIZE 4 return_path 64
CAPPED_DATA 0 ibp->rvp.mkey 1
DATA_SOURCE 0 ibp $0
DATA_SOURCE 1 mad $1
DATA_SOURCE 2 mkey $3
DATA_SOURCE 3 dr_slid $4
DATA_SOURCE 4 return_path $5
DATA_SOURCE 5 hop_cnt $6
PARAM_COMPARE 0 ibp->rvp.mkey != $2
PARAM_COMPARE 2 mkey != $0->rvp.mkey
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 5 hop_cnt unit_byte