Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/infiniband/hw/bnxt_re/main.c bnxt_re_probe() -> bnxt_re_add_device()

Type Parameter Key Value
PARAM_VALUE 0 adev 4096-ptr_max
PARAM_VALUE 0 adev->dev.driver_data 4096-ptr_max
PARAM_VALUE 1 op_type 8
DATA_SOURCE 0 adev $0
RX_PATH
TASK_NOT_RUNNING
LOCK2 global &bnxt_re_mutex

drivers/infiniband/hw/bnxt_re/main.c bnxt_re_resume() -> bnxt_re_add_device()

Type Parameter Key Value
PARAM_VALUE 0 adev 4096-ptr_max
PARAM_VALUE 0 adev->dev.driver 1-u64max
PARAM_VALUE 1 op_type 4
BUF_SIZE 0 adev (-1),1888
BUF_SIZE 0 adev (-1),1888
DATA_SOURCE 0 adev $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &bnxt_re_mutex
HALF_LOCKED2 &bp->auxdev_lock
HALF_LOCKED2 &dev->intf_state_mutex
HALF_LOCKED2 &edev->en_dev_lock
HALF_LOCKED2 _T->lock