Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/devlink/dev.c devlink_reload() -> devlink_reload_netns_change()

Type Parameter Key Value
PARAM_VALUE 0 devlink 4096-ptr_max
PARAM_VALUE 0 devlink->ops 4096-ptr_max
PARAM_VALUE 0 devlink->ops->reload_down 0,4096-ptr_max
PARAM_VALUE 2 dest_net 4096-ptr_max
BUF_SIZE 1 curr_net (-1),10432,10496
BUF_SIZE 1 curr_net (-1),10432,10496
CAPPED_DATA 0 devlink->_net.net 1
CAPPED_DATA 2 dest_net 1
DATA_SOURCE 0 devlink $0
DATA_SOURCE 2 dest_net $1
PARAM_COMPARE 1 curr_net != $2
PARAM_COMPARE 1 curr_net != $2
PARAM_COMPARE 2 dest_net != $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 1 curr_net unit_byte
HALF_LOCKED2 &bp->dev->lock
HALF_LOCKED2 global &pernet_ops_rwsem
HALF_LOCKED2 global &rtnl_mutex
HALF_LOCKED2 0 &devlink->lock