Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 5 files:

Smatch caller information:

drivers/net/dsa/mv88e6xxx/global1.c mv88e6xxx_g1_write() -> mv88e6xxx_write()

Type Parameter Key Value
PARAM_VALUE 0 chip 4096-ptr_max
PARAM_VALUE 0 chip->info 4096-ptr_max
PARAM_VALUE 0 chip->info->ops->atu_set_hash 0,8350319623863455744
PARAM_VALUE 0 chip->info->ops->get_eeprom 0,4652885774521696256,5568024566508527616
PARAM_VALUE 0 chip->info->ops->hardware_reset_pre 0,1411412071126634496,8038748334550581248
PARAM_VALUE 0 chip->info->ops->ieee_pri_map 0,1795347664813703168,6652624344359112704
PARAM_VALUE 0 chip->info->ops->ip_pri_map 0,6548934227790024704
PARAM_VALUE 0 chip->info->ops->irl_init_all 0,287834963075899392,8485399263421575168
PARAM_VALUE 0 chip->info->ops->mgmt_rsvd2cpu 3956542306913677312,4790299349088497664,7187628562122088448,7593799119054192640
PARAM_VALUE 0 chip->info->ops->phy_read 5289309704225021952,7234953316408168448,7343868757029343232
PARAM_VALUE 0 chip->info->ops->phy_write 6368524771666907136,6691851591349600256,6957139475907264512
PARAM_VALUE 0 chip->info->ops->port_get_cmode 0,645033699921510400,2386980224574283776
PARAM_VALUE 0 chip->info->ops->port_set_policy 0,4814286871204671488,6854043475136409600
PARAM_VALUE 0 chip->info->ops->port_set_upstream_port 0,2754417709388640256,4018045144728678400
PARAM_VALUE 0 chip->info->ops->port_setup_leds 0,1252734049498615808
PARAM_VALUE 0 chip->info->ops->port_setup_message_port 0,5433957437523062784
PARAM_VALUE 0 chip->info->ops->pot_clear 0,1988632511804588032
PARAM_VALUE 0 chip->info->ops->ppu_disable 0,646040506586095616
PARAM_VALUE 0 chip->info->ops->ppu_enable 0,13425823061221376
PARAM_VALUE 0 chip->info->ops->ptp_ops 0,2318630244777594880,3438547426233397248,5061457738040205312
PARAM_VALUE 0 chip->info->ops->reset 4096-ptr_max
PARAM_VALUE 0 chip->info->ops->rmu_disable 0,1115181630198050816,7827292120951398400,9034513291994046464
PARAM_VALUE 0 chip->info->ops->serdes_get_lane 0,735916357181140992,1493236781242281984,4096615961556676608,4249758595000180736,4851041708045742080,9032660005535301632
PARAM_VALUE 0 chip->info->ops->serdes_get_regs 0,1215910269125488640,5746314052584067072
PARAM_VALUE 0 chip->info->ops->serdes_get_stats 0,1027280189284171776,5915131760631644160
PARAM_VALUE 0 chip->info->ops->set_cascade_port 0,6479661414501359616
PARAM_VALUE 0 chip->info->ops->set_cpu_port 0,5965759163849150464,6472589603494395904
PARAM_VALUE 0 chip->info->ops->set_egress_port 0,1053573684199882752,4724773771318882304,8027876131986239488
PARAM_VALUE 0 chip->info->ops->set_max_frame_size 0,9111143781770440704
PARAM_VALUE 0 chip->info->ops->set_switch_mac 740708187354939392,5171753772875210752
PARAM_VALUE 0 chip->info->ops->setup_errata 0,1138360003013181440,6264281667520053248
PARAM_VALUE 0 chip->info->ops->stats_get_stat 2971873537307160576,4484574647671177216,7436736354049966080,8260294222038917120
PARAM_VALUE 0 chip->info->ops->stats_set_histogram 4054206236664659968,7762626590631804928
PARAM_VALUE 0 chip->info->ops->stats_snapshot 3261926349716328448,3269429971409539072,7115634834878513152
PARAM_VALUE 0 chip->info->ops->stu_loadpurge 0,4809154152476323840,5352469427160887296
PARAM_VALUE 0 chip->info->ops->vtu_getnext 2118173798107836416,4981253048336052224,7177881488499191808
PARAM_VALUE 0 chip->info->ops->vtu_loadpurge 3883113837325688832,7333024046455873536,7527090264581984256
PARAM_VALUE 0 chip->smi_ops->init 0,1060934814341685248
PARAM_VALUE 0 chip->smi_ops->read 1873700129490747392,6476665361381462016,9031470039065296896
PARAM_VALUE 0 chip->smi_ops->write 3211891525371830272,4456095227389370368,8101860879024377856
PARAM_VALUE 2 reg 1-24,26,28-29
BUF_SIZE 0 chip s32min-(-1),1-s32max
BUF_SIZE 0 chip s32min-(-1),1-s32max
BUF_SIZE 0 chip->cc_coeffs (-1),16
BUF_SIZE 0 chip->dev (-1),1616
BUF_SIZE 0 chip->g1_irq.domain (-1),376-s32max
BUF_SIZE 0 chip->irq s32min-(-1),1-s32max
BUF_SIZE 0 chip->ptp_clock_info.pin_config (-1),1536
BUF_SIZE 0 chip->reset s32min,(-1),1-s32max
DATA_SOURCE 0 chip $0
DATA_SOURCE 2 reg $1
DATA_SOURCE 3 val $2
STR_LEN 0 chip->irq_name (-1),63
STR_LEN 0 chip->ptp_clock_info.name (-1),31
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 chip->tstamp_tc.cycle_last 0-u64max
USER_DATA 3 val 0-16383[c]
NO_OVERFLOW_SIMPLE 0 chip->g1_irq.domain->gc->num_chips
NO_OVERFLOW_SIMPLE 0 chip->g1_irq.domain->hwirq_max
NO_OVERFLOW_SIMPLE 0 chip->g1_irq.domain->revmap_size
NO_OVERFLOW_SIMPLE 0 chip->g1_irq.domain->root->hwirq_max
NO_OVERFLOW_SIMPLE 0 chip->g1_irq.domain->root->revmap_size
NO_OVERFLOW_SIMPLE 0 chip->g2_irq.domain->hwirq_max
NO_OVERFLOW_SIMPLE 0 chip->g2_irq.domain->revmap_size
NO_OVERFLOW_SIMPLE 0 chip->g2_irq.domain->root->hwirq_max
NO_OVERFLOW_SIMPLE 0 chip->g2_irq.domain->root->revmap_size
NO_OVERFLOW_SIMPLE 0 chip->ptp_clock->info->n_pins
UNITS 0 chip unit_byte
HALF_LOCKED2 0 &chip->ppu_mutex
HALF_LOCKED2 0 &chip->reg_lock

drivers/net/dsa/mv88e6xxx/tcam.c mv88e6xxx_tcam_write() -> mv88e6xxx_write()

Type Parameter Key Value
PARAM_VALUE 0 chip 4096-ptr_max
PARAM_VALUE 0 chip->info 4096-ptr_max
PARAM_VALUE 0 chip->info->ops->irl_init_all 0,287834963075899392,8485399263421575168
PARAM_VALUE 0 chip->info->ops->port_get_cmode 0,645033699921510400,2386980224574283776
PARAM_VALUE 0 chip->info->ops->pot_clear 0,1988632511804588032
PARAM_VALUE 0 chip->info->ops->reset 4096-ptr_max
PARAM_VALUE 0 chip->info->ops->rmu_disable 0,1115181630198050816,7827292120951398400,9034513291994046464
PARAM_VALUE 0 chip->info->ops->setup_errata 0,1138360003013181440,6264281667520053248
PARAM_VALUE 0 chip->reg_lock.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 chip->reg_lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 chip->reg_lock.osq.tail.counter 0-s32max
PARAM_VALUE 2 reg 0-27
BUF_SIZE 0 chip s32min-(-2),1-s32max
BUF_SIZE 0 chip s32min-(-2),1-s32max
DATA_SOURCE 0 chip $0
DATA_SOURCE 2 reg $1
DATA_SOURCE 3 val $2
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 chip->tstamp_tc.cycle_last 0-u64max
NO_OVERFLOW_SIMPLE 0 chip->ptp_clock->info->n_pins
UNITS 0 chip unit_byte
LOCK2 0 &chip->reg_lock
TYPE_LOCK (struct mv88e6xxx_chip)->reg_lock

drivers/net/dsa/mv88e6xxx/port.c mv88e6xxx_port_write() -> mv88e6xxx_write()

Type Parameter Key Value
PARAM_VALUE 0 chip 4096-ptr_max
PARAM_VALUE 0 chip->info 4096-ptr_max
PARAM_VALUE 0 chip->info->ops->get_eeprom 0,4652885774521696256,5568024566508527616
PARAM_VALUE 0 chip->info->ops->mgmt_rsvd2cpu 3956542306913677312,4790299349088497664,7187628562122088448,7593799119054192640
PARAM_VALUE 0 chip->info->ops->port_disable_learn_limit 0,8174350365186936832
PARAM_VALUE 0 chip->info->ops->port_disable_pri_override 0,5247980430223036416
PARAM_VALUE 0 chip->info->ops->port_egress_rate_limiting 0,4694799486391980032,5004890314474668032
PARAM_VALUE 0 chip->info->ops->port_enable_tcam 0,2397003422535778304
PARAM_VALUE 0 chip->info->ops->port_get_cmode 0,645033699921510400,2386980224574283776
PARAM_VALUE 0 chip->info->ops->port_pause_limit 0,640879935350972416,8886172690679279616
PARAM_VALUE 0 chip->info->ops->port_set_cmode 0,10733410995527680,4884557533514379264,6250039575679102976,6600523023306653696
PARAM_VALUE 0 chip->info->ops->port_set_ether_type 0,1279119503611834368,5354849976680042496
PARAM_VALUE 0 chip->info->ops->port_set_frame_mode 0,21484508752179200,7095023242283319296
PARAM_VALUE 0 chip->info->ops->port_set_jumbo_size 0,5252083990309560320
PARAM_VALUE 0 chip->info->ops->port_set_link 9043127770962386944
PARAM_VALUE 0 chip->info->ops->port_set_mcast_flood 0,943345637307084800,4246280474340085760
PARAM_VALUE 0 chip->info->ops->port_set_pause 0,1522957416676515840
PARAM_VALUE 0 chip->info->ops->port_set_policy 0,4814286871204671488,6854043475136409600
PARAM_VALUE 0 chip->info->ops->port_set_rgmii_delay 0,888750359123783680,2026197724441071616,5176077185034584064
PARAM_VALUE 0 chip->info->ops->port_set_speed_duplex 4096-ptr_max
PARAM_VALUE 0 chip->info->ops->port_set_ucast_flood 0,1299978486174339072,2056604263571214336
PARAM_VALUE 0 chip->info->ops->port_set_upstream_port 0,2754417709388640256,4018045144728678400
PARAM_VALUE 0 chip->info->ops->port_setup_leds 0,1252734049498615808
PARAM_VALUE 0 chip->info->ops->port_setup_message_port 0,5433957437523062784
PARAM_VALUE 0 chip->info->ops->port_sync_link 668205601613225984,6092611215681769472
PARAM_VALUE 0 chip->info->ops->port_tag_remap 0,913801446896246784,2710099565673115648
PARAM_VALUE 0 chip->info->ops->reset 4096-ptr_max
PARAM_VALUE 0 chip->info->ops->set_cpu_port 0,5965759163849150464,6472589603494395904
PARAM_VALUE 0 chip->info->ops->set_egress_port 0,1053573684199882752,4724773771318882304,8027876131986239488
PARAM_VALUE 0 chip->info->ops->set_max_frame_size 0,9111143781770440704
PARAM_VALUE 0 chip->info->ops->setup_errata 0,1138360003013181440,6264281667520053248
PARAM_VALUE 0 chip->smi_ops->init 0,1060934814341685248
PARAM_VALUE 0 chip->smi_ops->read 1873700129490747392,6476665361381462016,9031470039065296896
PARAM_VALUE 0 chip->smi_ops->write 3211891525371830272,4456095227389370368,8101860879024377856
PARAM_VALUE 2 reg 0-2,4-17,22,24-26
BUF_SIZE 0 chip s32min-(-1),1-s32max
BUF_SIZE 0 chip s32min-(-1),1-s32max
BUF_SIZE 0 chip->dev (-1),1616
BUF_SIZE 0 chip->reset s32min,(-1),1-s32max
DATA_SOURCE 0 chip $0
DATA_SOURCE 2 reg $2
DATA_SOURCE 3 val $3
HARD_MAX 2 reg 26
RX_PATH
TASK_NOT_RUNNING
UNITS 0 chip unit_byte
UNITS 1 addr unit_byte
HALF_LOCKED2 global &dsa2_mutex
HALF_LOCKED2 0 &chip->reg_lock

drivers/net/dsa/mv88e6xxx/phy.c mv88e6165_phy_write() -> mv88e6xxx_write()

Type Parameter Key Value
PARAM_VALUE 0 chip 4096-ptr_max
PARAM_VALUE 0 chip->info 4096-ptr_max
PARAM_VALUE 0 chip->info->ops 4096-ptr_max
PARAM_VALUE 0 chip->info->ops->phy_write 6368524771666907136,6691851591349600256,6957139475907264512
PARAM_VALUE 0 chip->info->ops->serdes_get_lane 0,735916357181140992,1493236781242281984,4096615961556676608,4249758595000180736,4851041708045742080,9032660005535301632
PARAM_VALUE 0 chip->info->ops->serdes_get_regs 0,1215910269125488640,5746314052584067072
PARAM_VALUE 0 chip->info->ops->serdes_get_stats 0,1027280189284171776,5915131760631644160
BUF_SIZE 0 chip s32min-(-1),1-s32max
BUF_SIZE 0 chip s32min-(-1),1-s32max
DATA_SOURCE 0 chip $0
DATA_SOURCE 1 addr $2
DATA_SOURCE 2 reg $3
DATA_SOURCE 3 val $4
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 3 val 0-u16max
USER_DATA 3 val 0-u16max
HALF_LOCKED2 0 &chip->reg_lock

drivers/net/dsa/mv88e6xxx/phy.c mv88e6185_phy_ppu_write() -> mv88e6xxx_write()

Type Parameter Key Value
PARAM_VALUE 0 chip 4096-ptr_max
PARAM_VALUE 0 chip->bus->mdio_lock->first_waiter->task->blocked_lock.owner (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 chip->bus->mdio_lock.dep_map->name 0-255
PARAM_VALUE 0 chip->bus->mdio_lock.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 chip->bus->mdio_lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 chip->bus->mdio_lock.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 chip->bus->mdio_lock.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 chip->bus->mdio_lock.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 0 chip->bus->mdio_lock.first_waiter->task->blocked_lock.raw_lock.val.counter s32min-s32max
PARAM_VALUE 0 chip->bus->mdio_lock.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 chip->bus->mdio_lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 chip->info 4096-ptr_max
PARAM_VALUE 0 chip->info->ops 4096-ptr_max
PARAM_VALUE 0 chip->info->ops->phy_write 6368524771666907136,6691851591349600256,6957139475907264512
PARAM_VALUE 0 chip->info->ops->serdes_get_lane 0,735916357181140992,1493236781242281984,4096615961556676608,4249758595000180736,4851041708045742080,9032660005535301632
PARAM_VALUE 0 chip->info->ops->serdes_get_regs 0,1215910269125488640,5746314052584067072
PARAM_VALUE 0 chip->info->ops->serdes_get_stats 0,1027280189284171776,5915131760631644160
PARAM_VALUE 0 chip->ppu_disabled s32min-(-1),1-s32max
PARAM_VALUE 0 chip->ppu_mutex.dep_map->name 0-255
PARAM_VALUE 0 chip->ppu_mutex.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 chip->ppu_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 chip->ppu_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 *chip->bus->mdio_lock.first_waiter->task->blocked_lock.owner (-4611686018427387904)-4611686018427387903
BUF_SIZE 0 chip s32min-(-1),1-s32max
BUF_SIZE 0 chip s32min-(-1),1-s32max
DATA_SOURCE 0 chip $0
DATA_SOURCE 1 addr $2
DATA_SOURCE 2 reg $3
DATA_SOURCE 3 val $4
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 3 val 0-u16max
USER_DATA 3 val 0-u16max
LOCK2 0 &chip->ppu_mutex
HALF_LOCKED2 0 &chip->reg_lock
TYPE_LOCK (struct mv88e6xxx_chip)->ppu_mutex

drivers/net/dsa/mv88e6xxx/global2.c mv88e6xxx_g2_write() -> mv88e6xxx_write()

Type Parameter Key Value
PARAM_VALUE 0 chip 4096-ptr_max
PARAM_VALUE 0 chip->info 4096-ptr_max
PARAM_VALUE 0 chip->info->ops->get_eeprom 0,4652885774521696256,5568024566508527616
PARAM_VALUE 0 chip->info->ops->gpio_ops 0,8780226719085170688
PARAM_VALUE 0 chip->info->ops->irl_init_all 0,287834963075899392,8485399263421575168
PARAM_VALUE 0 chip->info->ops->mgmt_rsvd2cpu 3956542306913677312,4790299349088497664,7187628562122088448,7593799119054192640
PARAM_VALUE 0 chip->info->ops->phy_read 5289309704225021952,7234953316408168448,7343868757029343232
PARAM_VALUE 0 chip->info->ops->phy_read_c45 0,4579905734238941184
PARAM_VALUE 0 chip->info->ops->phy_write 6368524771666907136,6691851591349600256,6957139475907264512
PARAM_VALUE 0 chip->info->ops->phy_write_c45 0,7577739598286684160
PARAM_VALUE 0 chip->info->ops->port_get_cmode 0,645033699921510400,2386980224574283776
PARAM_VALUE 0 chip->info->ops->port_set_upstream_port 0,2754417709388640256,4018045144728678400
PARAM_VALUE 0 chip->info->ops->port_setup_leds 0,1252734049498615808
PARAM_VALUE 0 chip->info->ops->pot_clear 0,1988632511804588032
PARAM_VALUE 0 chip->info->ops->ptp_ops 0,2318630244777594880,3438547426233397248,5061457738040205312
PARAM_VALUE 0 chip->info->ops->reset 4096-ptr_max
PARAM_VALUE 0 chip->info->ops->rmu_disable 0,1115181630198050816,7827292120951398400,9034513291994046464
PARAM_VALUE 0 chip->info->ops->serdes_get_lane 0,735916357181140992,1493236781242281984,4096615961556676608,4249758595000180736,4851041708045742080,9032660005535301632
PARAM_VALUE 0 chip->info->ops->serdes_get_regs 0,1215910269125488640,5746314052584067072
PARAM_VALUE 0 chip->info->ops->serdes_get_stats 0,1027280189284171776,5915131760631644160
PARAM_VALUE 0 chip->info->ops->set_cpu_port 0,5965759163849150464,6472589603494395904
PARAM_VALUE 0 chip->info->ops->set_eeprom 0,5328365867815620608,6424328465399058432
PARAM_VALUE 0 chip->info->ops->set_egress_port 0,1053573684199882752,4724773771318882304,8027876131986239488
PARAM_VALUE 0 chip->info->ops->set_switch_mac 740708187354939392,5171753772875210752
PARAM_VALUE 0 chip->info->ops->setup_errata 0,1138360003013181440,6264281667520053248
PARAM_VALUE 0 chip->smi_ops->init 0,1060934814341685248
PARAM_VALUE 0 chip->smi_ops->read 1873700129490747392,6476665361381462016,9031470039065296896
PARAM_VALUE 0 chip->smi_ops->write 3211891525371830272,4456095227389370368,8101860879024377856
PARAM_VALUE 2 reg 1-3,5-9,11-15,20-27,29
BUF_SIZE 0 chip s32min-(-1),1-s32max
BUF_SIZE 0 chip s32min-(-1),1-s32max
BUF_SIZE 0 chip->dev (-1),1616
BUF_SIZE 0 chip->g2_irq.domain (-1),376-s32max
BUF_SIZE 0 chip->irq s32min-(-1),1-s32max
BUF_SIZE 0 chip->reset s32min,(-1),1-s32max
DATA_SOURCE 0 chip $0
DATA_SOURCE 2 reg $1
DATA_SOURCE 3 val $2
STR_LEN 0 chip->device_irq_name (-1),63
STR_LEN 0 chip->watchdog_irq_name (-1),63
NOSPEC 3 val
HARD_MAX 2 reg 29
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 3 val 0-u16max
USER_DATA 3 val 0-u16max
NO_OVERFLOW_SIMPLE 0 chip->g1_irq.domain->hwirq_max
NO_OVERFLOW_SIMPLE 0 chip->g1_irq.domain->revmap_size
NO_OVERFLOW_SIMPLE 0 chip->g1_irq.domain->root->hwirq_max
NO_OVERFLOW_SIMPLE 0 chip->g1_irq.domain->root->revmap_size
NO_OVERFLOW_SIMPLE 0 chip->g2_irq.domain->gc->num_chips
NO_OVERFLOW_SIMPLE 0 chip->g2_irq.domain->hwirq_max
NO_OVERFLOW_SIMPLE 0 chip->g2_irq.domain->revmap_size
NO_OVERFLOW_SIMPLE 0 chip->g2_irq.domain->root->hwirq_max
NO_OVERFLOW_SIMPLE 0 chip->g2_irq.domain->root->revmap_size
UNITS 0 chip unit_byte
UNITS 3 val unit_byte
HALF_LOCKED2 0 &chip->reg_lock