Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/dsa/b53/b53_common.c b53_switch_register() -> b53_switch_detect()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->arl_mutex.dep_map->name 0-255
PARAM_VALUE 0 dev->arl_mutex.first_waiter 0
PARAM_VALUE 0 dev->arl_mutex.magic 4096-ptr_max
PARAM_VALUE 0 dev->arl_mutex.osq.tail.counter 0
PARAM_VALUE 0 dev->arl_mutex.owner.counter 0
PARAM_VALUE 0 dev->chip_id 0
PARAM_VALUE 0 dev->dev 4096-ptr_max
PARAM_VALUE 0 dev->ds 4096-ptr_max
PARAM_VALUE 0 dev->ds->dev 4096-ptr_max
PARAM_VALUE 0 dev->ds->priv 4096-ptr_max
PARAM_VALUE 0 dev->ops 1044796106996817920,4734196695621586944,5648190047531012096,6655347584341094400,7036535207365750784
PARAM_VALUE 0 dev->pdata 0,4096-ptr_max
PARAM_VALUE 0 dev->priv 4096-ptr_max
PARAM_VALUE 0 dev->reg_mutex.dep_map->name 0-255
PARAM_VALUE 0 dev->reg_mutex.first_waiter 0
PARAM_VALUE 0 dev->reg_mutex.magic 4096-ptr_max
PARAM_VALUE 0 dev->reg_mutex.osq.tail.counter 0
PARAM_VALUE 0 dev->reg_mutex.owner.counter 0
PARAM_VALUE 0 dev->stats_mutex.dep_map->name 0-255
PARAM_VALUE 0 dev->stats_mutex.first_waiter 0
PARAM_VALUE 0 dev->stats_mutex.magic 4096-ptr_max
PARAM_VALUE 0 dev->stats_mutex.osq.tail.counter 0
PARAM_VALUE 0 dev->stats_mutex.owner.counter 0
PARAM_VALUE 0 dev->vlan_enabled 1
PARAM_VALUE 0 dev->vlan_filtering 0
BUF_SIZE 0 dev 704
BUF_SIZE 0 dev->dev 1616
BUF_SIZE 0 dev->ds->dev 1616
BUF_SIZE 0 dev->ops 160
BUF_SIZE 0 dev->pdata (-1),1-s32max
BUF_SIZE 0 dev->priv (-1),32,232,656
DATA_SOURCE 0 dev $0
RX_PATH
TASK_NOT_RUNNING