Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/switchdev/switchdev.c switchdev_port_obj_add_deferred() -> switchdev_obj_id_to_helpful_msg()

Type Parameter Key Value
PARAM_VALUE 0 *dev->name 0-255
PARAM_VALUE 2 err s32min-(-96),(-94)-(-1),1-s32max
PARAM_VALUE 3 add 1
DATA_SOURCE 0 dev $0
DATA_SOURCE 2 err r switchdev_port_obj_notify
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 global &rtnl_mutex

net/switchdev/switchdev.c switchdev_port_obj_del_deferred() -> switchdev_obj_id_to_helpful_msg()

Type Parameter Key Value
PARAM_VALUE 0 *dev->name 0-255
PARAM_VALUE 2 err s32min-(-96),(-94)-(-1),1-s32max
PARAM_VALUE 3 add 0
DATA_SOURCE 0 dev $0
DATA_SOURCE 2 err r switchdev_port_obj_del_now
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 global &rtnl_mutex