Open Menu /

Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/ethernet/netronome/nfp/nfpcore/nfp_resource.c nfp_resource_acquire() -> nfp_cpp_mutex_free()

Type Parameter Key Value
PARAM_VALUE 0 mutex 4096-ptr_max
PARAM_VALUE 0 mutex->cpp 4096-ptr_max
PARAM_VALUE 0 mutex->cpp->resource_lock.owner (-1)
PARAM_VALUE 0 mutex->cpp->resource_lock.owner_cpu 4294967295
PARAM_VALUE 0 mutex->depth 0-u16max
PARAM_VALUE 0 mutex->key 0
PARAM_VALUE 0 mutex->target 7
BUF_SIZE 0 mutex 32
BUF_SIZE 0 mutex 32
DATA_SOURCE 0 mutex r nfp_cpp_mutex_alloc
STR_LEN 0 mutex->cpp 6,8
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/net/ethernet/netronome/nfp/nfpcore/nfp_resource.c nfp_resource_acquire() -> nfp_cpp_mutex_free()

Type Parameter Key Value
PARAM_VALUE 0 mutex 4096-ptr_max
PARAM_VALUE 0 mutex->cpp 4096-ptr_max
PARAM_VALUE 0 mutex->depth 0-u16max
PARAM_VALUE 0 mutex->key 0
PARAM_VALUE 0 mutex->target 7
BUF_SIZE 0 mutex 32
BUF_SIZE 0 mutex 32
DATA_SOURCE 0 mutex r nfp_cpp_mutex_alloc
STR_LEN 0 mutex->cpp 6,8
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/net/ethernet/netronome/nfp/nfpcore/nfp_resource.c nfp_resource_release() -> nfp_cpp_mutex_free()

Type Parameter Key Value
PARAM_VALUE 0 mutex 4096-ptr_max
PARAM_VALUE 0 mutex->cpp 4096-ptr_max
PARAM_VALUE 0 mutex->depth 0-u16max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/net/ethernet/netronome/nfp/nfpcore/nfp_resource.c nfp_resource_table_init() -> nfp_cpp_mutex_free()

Type Parameter Key Value
PARAM_VALUE 0 mutex 4096-ptr_max
PARAM_VALUE 0 mutex->cpp 4096-ptr_max
PARAM_VALUE 0 mutex->cpp->resource_lock.dep_map->name 0-255
PARAM_VALUE 0 mutex->depth 0
PARAM_VALUE 0 mutex->key 0
PARAM_VALUE 0 mutex->target 7
BUF_SIZE 0 mutex 32
BUF_SIZE 0 mutex 32
DATA_SOURCE 0 mutex r nfp_cpp_mutex_alloc
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/net/ethernet/netronome/nfp/nfpcore/nfp_resource.c nfp_resource_table_init() -> nfp_cpp_mutex_free()

Type Parameter Key Value
PARAM_VALUE 0 mutex 4096-ptr_max
PARAM_VALUE 0 mutex->cpp 4096-ptr_max
PARAM_VALUE 0 mutex->cpp->resource_lock.dep_map->name 0-255
PARAM_VALUE 0 mutex->depth 0-u16max
PARAM_VALUE 0 mutex->key 0
PARAM_VALUE 0 mutex->target 7
BUF_SIZE 0 mutex 32
BUF_SIZE 0 mutex 32
DATA_SOURCE 0 mutex r nfp_cpp_mutex_alloc
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/net/ethernet/netronome/nfp/nfpcore/nfp_resource.c nfp_resource_try_acquire() -> nfp_cpp_mutex_free()

Type Parameter Key Value
PARAM_VALUE 0 mutex 4096-ptr_max
PARAM_VALUE 0 mutex->address 554050781184-554050785248
PARAM_VALUE 0 mutex->cpp s64min-(-4096),4096-s64max
PARAM_VALUE 0 mutex->cpp->resource_lock.dep_map->name 0-255
PARAM_VALUE 0 mutex->depth 0
PARAM_VALUE 0 mutex->target 7
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL