Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/ethernet/mscc/ocelot_net.c ocelot_netdev_to_port() -> ocelot_netdevice_dev_check()

Type Parameter Key Value
PARAM_VALUE 0 dev 1-u64max
DATA_SOURCE 0 dev $1
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &block->cb_lock
HALF_LOCKED2 &flowtable->flow_block_lock

drivers/net/ethernet/mscc/ocelot_net.c ocelot_netdevice_event() -> ocelot_netdevice_dev_check()

Type Parameter Key Value
DATA_SOURCE 0 dev r netdev_notifier_info_to_dev

drivers/net/ethernet/mscc/ocelot_net.c ocelot_netdevice_event() -> ocelot_netdevice_dev_check()

Type Parameter Key Value
DATA_SOURCE 0 dev r netdev_notifier_info_to_dev

drivers/net/ethernet/mscc/ocelot_net.c ocelot_netdevice_event() -> ocelot_netdevice_dev_check()

Type Parameter Key Value
DATA_SOURCE 0 dev r netdev_notifier_info_to_dev

drivers/net/ethernet/mscc/ocelot_net.c ocelot_setup_tc_cls_matchall_mirred() -> ocelot_netdevice_dev_check()

Type Parameter Key Value
PARAM_VALUE 0 dev 1-u64max
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &block->cb_lock
HALF_LOCKED2 &flowtable->flow_block_lock

net/switchdev/switchdev.c __switchdev_handle_port_obj_del() -> __switchdev_handle_port_obj_del param 2()

Type Parameter Key Value
DATA_SOURCE 0 dev $0

net/switchdev/switchdev.c __switchdev_handle_port_obj_del() -> __switchdev_handle_port_obj_del param 2()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
DATA_SOURCE 0 dev r netdev_lower_get_next

net/switchdev/switchdev.c __switchdev_handle_port_obj_add() -> __switchdev_handle_port_obj_add param 2()

Type Parameter Key Value
DATA_SOURCE 0 dev $0

net/switchdev/switchdev.c __switchdev_handle_port_obj_add() -> __switchdev_handle_port_obj_add param 2()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
DATA_SOURCE 0 dev r netdev_lower_get_next

net/switchdev/switchdev.c __switchdev_handle_port_attr_set() -> __switchdev_handle_port_attr_set param 2()

Type Parameter Key Value
DATA_SOURCE 0 dev $0

net/switchdev/switchdev.c switchdev_lower_dev_walk() -> switchdev_lower_dev_walk ptr check_cb()

Type Parameter Key Value
DATA_SOURCE 0 dev $0
RX_PATH
TASK_NOT_RUNNING
UNITS 0 dev unit_byte