Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
DATA_SOURCE 0 dev r netdev_lower_get_next
DATA_SOURCE 1 port_obj_info $1
DATA_SOURCE 2 check_cb $2
DATA_SOURCE 3 foreign_dev_check_cb $3
DATA_SOURCE 4 del_cb $4

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

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 3 foreign_dev_check_cb 1-u64max
CAPPED_DATA 0 dev 1
DATA_SOURCE 0 dev r netdev_master_upper_dev_get
DATA_SOURCE 1 port_obj_info $1
DATA_SOURCE 2 check_cb $2
DATA_SOURCE 3 foreign_dev_check_cb $3
DATA_SOURCE 4 del_cb $4

net/switchdev/switchdev.c switchdev_handle_port_obj_del() -> __switchdev_handle_port_obj_del()

Type Parameter Key Value
PARAM_VALUE 1 port_obj_info 4096-ptr_max
PARAM_VALUE 3 foreign_dev_check_cb 0
PARAM_VALUE 4 del_cb 756141356786192384,1518704980176310272,2460423119761354752,4194197070060797952,4374865156944068608,4635529673293881344,4835760882645241856,7469978050755936256
DATA_SOURCE 0 dev $0
DATA_SOURCE 1 port_obj_info $1
DATA_SOURCE 2 check_cb $2
DATA_SOURCE 4 del_cb $3

net/switchdev/switchdev.c switchdev_handle_port_obj_del_foreign() -> __switchdev_handle_port_obj_del()

Type Parameter Key Value
PARAM_VALUE 1 port_obj_info 4096-ptr_max
PARAM_VALUE 4 del_cb 4592874856762466304
DATA_SOURCE 0 dev $0
DATA_SOURCE 1 port_obj_info $1
DATA_SOURCE 2 check_cb $2
DATA_SOURCE 3 foreign_dev_check_cb $3
DATA_SOURCE 4 del_cb $4