Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/dsa/microchip/ksz9477.c ksz9477_errata_monitor() -> ksz9477_half_duplex_monitor()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->dev_ops 4096-ptr_max
PARAM_VALUE 0 dev->dev_ops->get_port_addr 4096-ptr_max
PARAM_VALUE 0 dev->dev_ops->r_mib_stat64 1545733033080504320,2662029073194520576,8403825333520605184
PARAM_VALUE 0 dev->ds 4096-ptr_max
PARAM_VALUE 0 dev->ds->dst 4096-ptr_max
PARAM_VALUE 0 dev->info 4096-ptr_max
PARAM_VALUE 0 dev->info->mib_cnt s32min-255
PARAM_VALUE 0 dev->info->phy_errata_9477 1
PARAM_VALUE 0 dev->info->port_cnt 1-s32max
PARAM_VALUE 0 dev->ports 4096-ptr_max
PARAM_VALUE 1 port 0-s32max
CAPPED_DATA 0 dev->ds 1
CAPPED_DATA 0 dev->info->mib_cnt 1
CAPPED_DATA 0 dev->info->reg_mib_cnt 1
CAPPED_DATA 1 port 1
DATA_SOURCE 0 dev $0
DATA_SOURCE 1 port $1
DATA_SOURCE 2 tx_late_col $2
CONSTRAINT 1 port <984
LOCK2 &mib->cnt_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct ksz_port_mib)->cnt_mutex