Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/dsa/mv88e6xxx/chip.c mv88e6xxx_read() -> assert_reg_lock()

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_get_hash 0,944181045745496064
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->gpio_ops 0,8780226719085170688
PARAM_VALUE 0 chip->info->ops->hardware_reset_post 0,5540128953715097600,8038748334550581248
PARAM_VALUE 0 chip->info->ops->hardware_reset_pre 0,1411412071126634496,8038748334550581248
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_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->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_eeprom 0,5328365867815620608,6424328465399058432
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->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->kworker->task->sched_class->find_lock_rq 0,1330506845949976576,2186316422496772096
PARAM_VALUE 0 chip->kworker->task->sched_class->get_prio 0,5589494719909007360
PARAM_VALUE 0 chip->kworker->task->sched_class->get_rr_interval 0,160577115725877248,8566262156424376320
PARAM_VALUE 0 chip->kworker->task->sched_class->pick_task 0,71,431140902756892672,1158575681758597120,5720692379550740480,7102393387566546944,7601726578106748928
PARAM_VALUE 0 chip->kworker->task->sched_class->prio_changed 0,6,1146300274019463168,2737281516638617600,4228469244769832960,6494577740674654208,7383617159121645568
PARAM_VALUE 0 chip->kworker->task->sched_class->put_prev_task 0,45,879997059321819136,2104802920512651264,3309484659987406848,4521943768044347392,6061791611826737152
PARAM_VALUE 0 chip->kworker->task->sched_class->reweight_task 0,5264859755264851968
PARAM_VALUE 0 chip->kworker->task->sched_class->rq_offline 0,1273389266380275712,3746302679399247872,7992910395761221632
PARAM_VALUE 0 chip->kworker->task->sched_class->rq_online 0,1603218695044562944,3838970304731508736,6105480162315575296
PARAM_VALUE 0 chip->kworker->task->sched_class->switched_from 0,6932178706407411712,8530452231382753280,8897597262779232256
PARAM_VALUE 0 chip->kworker->task->sched_class->switched_to 0,5165838827171962880,5857971317054578688,7142770315824652288
PARAM_VALUE 0 chip->kworker->task->sched_class->switching_from 0,2762873923526262784
PARAM_VALUE 0 chip->kworker->task->sched_class->switching_to 0,1207858565835722752,6355784522873475072
PARAM_VALUE 0 chip->kworker->task->sched_class->task_change_group 0,7251702690162270208
PARAM_VALUE 0 chip->kworker->task->sched_class->task_dead 0,6742757381008068608
PARAM_VALUE 0 chip->kworker->task->sched_class->task_is_throttled 0,626302238049026048,4879098428662644736,6508522699847725056
PARAM_VALUE 0 chip->kworker->task->sched_class->task_woken 0,4090974917235912704,4284209241675612160
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
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->g1_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
STR_LEN 0 chip->irq_name (-1),63
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 chip->tstamp_tc.cycle_last 0-u64max
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->kworker->task->dl.pi_se->dl_runtime
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/chip.c mv88e6xxx_write() -> assert_reg_lock()

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->gpio_ops 0,8780226719085170688
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_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_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->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_eeprom 0,5328365867815620608,6424328465399058432
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->kworker->task->sched_class->find_lock_rq 0,1330506845949976576,2186316422496772096
PARAM_VALUE 0 chip->kworker->task->sched_class->get_prio 0,5589494719909007360
PARAM_VALUE 0 chip->kworker->task->sched_class->get_rr_interval 0,160577115725877248,8566262156424376320
PARAM_VALUE 0 chip->kworker->task->sched_class->pick_task 0,71,431140902756892672,1158575681758597120,5720692379550740480,7102393387566546944,7601726578106748928
PARAM_VALUE 0 chip->kworker->task->sched_class->prio_changed 0,6,1146300274019463168,2737281516638617600,4228469244769832960,6494577740674654208,7383617159121645568
PARAM_VALUE 0 chip->kworker->task->sched_class->put_prev_task 0,45,879997059321819136,2104802920512651264,3309484659987406848,4521943768044347392,6061791611826737152
PARAM_VALUE 0 chip->kworker->task->sched_class->reweight_task 0,5264859755264851968
PARAM_VALUE 0 chip->kworker->task->sched_class->rq_offline 0,1273389266380275712,3746302679399247872,7992910395761221632
PARAM_VALUE 0 chip->kworker->task->sched_class->rq_online 0,1603218695044562944,3838970304731508736,6105480162315575296
PARAM_VALUE 0 chip->kworker->task->sched_class->switched_from 0,6932178706407411712,8530452231382753280,8897597262779232256
PARAM_VALUE 0 chip->kworker->task->sched_class->switched_to 0,5165838827171962880,5857971317054578688,7142770315824652288
PARAM_VALUE 0 chip->kworker->task->sched_class->switching_from 0,2762873923526262784
PARAM_VALUE 0 chip->kworker->task->sched_class->switching_to 0,1207858565835722752,6355784522873475072
PARAM_VALUE 0 chip->kworker->task->sched_class->task_change_group 0,7251702690162270208
PARAM_VALUE 0 chip->kworker->task->sched_class->task_dead 0,6742757381008068608
PARAM_VALUE 0 chip->kworker->task->sched_class->task_is_throttled 0,626302238049026048,4879098428662644736,6508522699847725056
PARAM_VALUE 0 chip->kworker->task->sched_class->task_woken 0,4090974917235912704,4284209241675612160
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
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->g2_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
STR_LEN 0 chip->device_irq_name (-1),63
STR_LEN 0 chip->irq_name (-1),63
STR_LEN 0 chip->ptp_clock_info.name (-1),31
STR_LEN 0 chip->watchdog_irq_name (-1),63
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 chip->tstamp_tc.cycle_last 0-u64max
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->kworker->task->dl.pi_se->dl_runtime
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