Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/ethernet/microsoft/mana/mana_en.c mana_rdma_remove() -> remove_adev()

Type Parameter Key Value
PARAM_VALUE 0 gd 4096-ptr_max
PARAM_VALUE 0 gd->adev 1-u64max
PARAM_VALUE 0 gd->dev_id.type 3
PARAM_VALUE 0 gd->doorbell 0-u16max,u32max
PARAM_VALUE 0 gd->gdma_context 4096-ptr_max
PARAM_VALUE 0 gd->gpa_mkey 0,u32max
PARAM_VALUE 0 gd->pdid 0-16777215,u32max
PARAM_VALUE 0 gd->rdma_teardown 1
DATA_SOURCE 0 gd $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &dev->mutex

drivers/net/ethernet/microsoft/mana/mana_en.c mana_rdma_service_handle() -> remove_adev()

Type Parameter Key Value
PARAM_VALUE 0 gd 4096-ptr_max
PARAM_VALUE 0 gd->adev 1-u64max
PARAM_VALUE 0 gd->gdma_context 4096-ptr_max
PARAM_VALUE 0 gd->is_suspended 0
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/net/ethernet/microsoft/mana/mana_en.c mana_remove() -> remove_adev()

Type Parameter Key Value
PARAM_VALUE 0 gd 4096-ptr_max
PARAM_VALUE 0 gd->adev 1-u64max
PARAM_VALUE 0 gd->doorbell 0-u16max,u32max
PARAM_VALUE 0 gd->driver_data 4096-ptr_max
PARAM_VALUE 0 gd->gdma_context 4096-ptr_max
PARAM_VALUE 0 gd->gpa_mkey 0,u32max
PARAM_VALUE 0 gd->pdid 0-16777215,u32max
BUF_SIZE 0 gd->driver_data (-1),2568
DATA_SOURCE 0 gd $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &dev->mutex