Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

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 add_cb $4

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

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 1 port_obj_info 4096-ptr_max
PARAM_VALUE 1 port_obj_info->obj 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 add_cb $4
BIT_INFO 1 port_obj_info->obj->flags 0x0,0xfffffff7

net/switchdev/switchdev.c switchdev_handle_port_obj_add() -> __switchdev_handle_port_obj_add()

Type Parameter Key Value
PARAM_VALUE 1 port_obj_info 4096-ptr_max
PARAM_VALUE 3 foreign_dev_check_cb 0
PARAM_VALUE 4 add_cb 332097756592979968,469135679710216192,1457228656893779968,2099441632218763264,2935213165803528192,5218442862542991360,8490252009428631552,8673813761107320832
DATA_SOURCE 0 dev $0
DATA_SOURCE 1 port_obj_info $1
DATA_SOURCE 2 check_cb $2
DATA_SOURCE 4 add_cb $3

net/switchdev/switchdev.c switchdev_handle_port_obj_add_foreign() -> __switchdev_handle_port_obj_add()

Type Parameter Key Value
PARAM_VALUE 1 port_obj_info 4096-ptr_max
PARAM_VALUE 4 add_cb 6784451353530499072
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 add_cb $4