Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/ethernet/marvell/prestera/prestera_flow.c prestera_setup_flow_block_clsact() -> prestera_setup_flow_block_unbind()

Type Parameter Key Value
PARAM_VALUE 1 f 1893042152874979328,6243769477725855744
PARAM_VALUE 1 f->binder_type 1-2
PARAM_VALUE 1 f->command 1
PARAM_VALUE 1 f->driver_block_list 1160534331236421632
BUF_SIZE 1 f->driver_block_list 16
DATA_SOURCE 0 port $0
DATA_SOURCE 1 f $1
DATA_SOURCE 2 ingress $2
HARD_MAX 1 f->binder_type 2
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &block->cb_lock
HALF_LOCKED2 &nft_net->commit_mutex