Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/devlink/resource.c __devl_resource_register() -> __devlink_resource_find()

Type Parameter Key Value
PARAM_VALUE 0 resource_list_head 4096-ptr_max
PARAM_VALUE 1 resource 0
DATA_SOURCE 0 resource_list_head $1
DATA_SOURCE 2 resource_id $4
RX_PATH
TASK_NOT_RUNNING

net/devlink/resource.c __devl_resource_register() -> __devlink_resource_find()

Type Parameter Key Value
PARAM_VALUE 0 resource_list_head 4096-ptr_max
PARAM_VALUE 1 resource 0
PARAM_VALUE 2 resource_id 1-4,10,13
DATA_SOURCE 0 resource_list_head $1
DATA_SOURCE 2 resource_id $5
HARD_MAX 2 resource_id 13
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &dev->intf_state_mutex
HALF_LOCKED2 &devlink->lock
HALF_LOCKED2 &devlink->lock

net/devlink/resource.c __devlink_resource_find() -> __devlink_resource_find()

Type Parameter Key Value
PARAM_VALUE 1 resource 4096-ptr_max
CAPPED_DATA 1 &resource->list 1
DATA_SOURCE 0 resource_list_head $0
DATA_SOURCE 1 resource $1 [m]
DATA_SOURCE 2 resource_id $2
PARAM_COMPARE 1 resource->id != $2
PARAM_COMPARE 2 resource_id != $1->id
RX_PATH
TASK_NOT_RUNNING

net/devlink/resource.c devlink_resource_find() -> __devlink_resource_find()

Type Parameter Key Value
PARAM_VALUE 0 resource_list_head 4096-ptr_max
PARAM_VALUE 1 resource 0
DATA_SOURCE 1 resource $1
DATA_SOURCE 2 resource_id $2
RX_PATH
TASK_NOT_RUNNING