Documented in 1 files:
Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
net/core/dev.c netif_set_mtu_ext() -> call_netdevice_notifiers_mtu()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | val | 7 |
| PARAM_VALUE | 1 | dev | 4096-ptr_max |
| PARAM_VALUE | 1 | dev->dev.parent->power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 1 | dev->min_mtu | 0-s32max |
| PARAM_VALUE | 1 | dev->netdev_ops | 4096-ptr_max |
| PARAM_VALUE | 1 | dev->netdev_ops->ndo_add_slave | 0,823636617244635136,3142229396628504576,4473764246731075584,5430594904042291200,5754417738661023744,7321652195188301824 |
| PARAM_VALUE | 1 | dev->netdev_ops->ndo_bpf | 0,4096-ptr_max |
| PARAM_VALUE | 1 | dev->netdev_ops->ndo_bridge_dellink | 0,680775373242744832 |
| PARAM_VALUE | 1 | dev->netdev_ops->ndo_bridge_getlink | 0,4096-ptr_max |
| PARAM_VALUE | 1 | dev->netdev_ops->ndo_bridge_setlink | 0,4096-ptr_max |
| PARAM_VALUE | 1 | dev->netdev_ops->ndo_change_carrier | 0,885170895855865856,1782477489044140032,2219068876340936704,3313908872681771008,6182840514861293568,6498501278544633856 |
| PARAM_VALUE | 1 | dev->netdev_ops->ndo_change_rx_flags | 0,4096-ptr_max |
| PARAM_VALUE | 1 | dev->netdev_ops->ndo_del_slave | 0,4188424553528614912,4729938391940333568,5387588324921257984,5687942034094653440,7973297224058761216,8884156673750904832 |
| PARAM_VALUE | 1 | dev->netdev_ops->ndo_dfwd_add_station | 0,729102835156180992,975335494189187072,8441514693898158080 |
| PARAM_VALUE | 1 | dev->netdev_ops->ndo_dfwd_del_station | 0,4186899731317792768,5439870935049994240,8029757989396582400 |
| PARAM_VALUE | 1 | dev->netdev_ops->ndo_do_ioctl | 0,788841219136544768 |
| PARAM_VALUE | 1 | dev->netdev_ops->ndo_eth_ioctl | 0,4096-ptr_max |
| PARAM_VALUE | 1 | dev->netdev_ops->ndo_fcoe_ddp_done | 0,3862468120917999616,6439886031210024960 |
| PARAM_VALUE | 1 | dev->netdev_ops->ndo_fcoe_ddp_setup | 0,632461323526074368,5761325739088502784 |
| PARAM_VALUE | 1 | dev->netdev_ops->ndo_fcoe_ddp_target | 0,3634905522993065984,7333149613958950912 |
| PARAM_VALUE | 1 | dev->netdev_ops->ndo_fcoe_disable | 0,6463264662614528000,7160346319276494848,8231323729747480576 |
| PARAM_VALUE | 1 | dev->netdev_ops->ndo_fcoe_enable | 0,2923136493182525440,3532100838410285056,4317290564582428672 |
| PARAM_VALUE | 1 | dev->netdev_ops->ndo_fcoe_get_hbainfo | 0,1096580233867087872 |
| PARAM_VALUE | 1 | dev->netdev_ops->ndo_fcoe_get_wwn | 0,522694229312503808,3927833707116441600,6823878900046209024 |
| PARAM_VALUE | 1 | dev->netdev_ops->ndo_fdb_add | 0,4096-ptr_max |
| PARAM_VALUE | 1 | dev->netdev_ops->ndo_fdb_del | 0,1601512751042326528,2190034336822136832,3914041376362209280,4943624292584730624,6612239752106622976,7096514808514260992 |
| PARAM_VALUE | 1 | dev->netdev_ops->ndo_fdb_del_bulk | 0,3653807925983469568,6417556756298358784 |
| PARAM_VALUE | 1 | dev->netdev_ops->ndo_fdb_dump | 0,636052929119883264,1277806022366916608,1361680740606844928,1886571956223459328,4010753916617592832,4110861230911090688,8456673231916085248 |
| PARAM_VALUE | 1 | dev->netdev_ops->ndo_fdb_get | 0,4225022042767831040,5668764993603383296 |
| PARAM_VALUE | 1 | dev->netdev_ops->ndo_features_check | 0,4096-ptr_max |
| PARAM_VALUE | 1 | dev->netdev_ops->ndo_fill_forward_path | 0,682957396127096832,2426471984165416960,2961787540032131072,3224334602313060352,4534558995965411328,4741173255554150400,8685789417581973504 |
| PARAM_VALUE | 1 | dev->netdev_ops->ndo_fill_metadata_dst | 0,2000313367131492352,3727338945364471808,5461160918323019776,7386306989449080832 |
| PARAM_VALUE | 1 | dev->netdev_ops->ndo_fix_features | 0,4096-ptr_max |
| PARAM_VALUE | 1 | dev->netdev_ops->ndo_get_iflink | 0,4096-ptr_max |
| PARAM_VALUE | 1 | dev->netdev_ops->ndo_get_offload_stats | 0,1883823937596661760,2002632611023077376,2654962457228488704,2746328408631848960,4537756395981295616,8722127343616376832,9009208775950950400 |
| PARAM_VALUE | 1 | dev->netdev_ops->ndo_get_peer_dev | 0,2164507488541290496,4421861222638706688 |
| PARAM_VALUE | 1 | dev->netdev_ops->ndo_get_phys_port_id | 0,4096-ptr_max |
| PARAM_VALUE | 1 | dev->netdev_ops->ndo_get_phys_port_name | 0,4096-ptr_max |
| PARAM_VALUE | 1 | dev->netdev_ops->ndo_get_port_parent_id | 0,4096-ptr_max |
| PARAM_VALUE | 1 | dev->netdev_ops->ndo_get_stats | 0,4096-ptr_max |
| PARAM_VALUE | 1 | dev->netdev_ops->ndo_get_tstamp | 0,5214773026541371392,9198102671157166080 |
| PARAM_VALUE | 1 | dev->netdev_ops->ndo_get_vf_config | 0,4096-ptr_max |
| PARAM_VALUE | 1 | dev->netdev_ops->ndo_get_vf_guid | 0,6807259938171342848 |
| PARAM_VALUE | 1 | dev->netdev_ops->ndo_get_vf_port | 0,2064544749945446400 |
| PARAM_VALUE | 1 | dev->netdev_ops->ndo_get_vf_stats | 0,4096-ptr_max |
| PARAM_VALUE | 1 | dev->netdev_ops->ndo_get_xmit_slave | 0,5414592737404526592 |
| PARAM_VALUE | 1 | dev->netdev_ops->ndo_has_offload_stats | 0,201978716227076096,386326873480708096,1561908413804244992,2069062694808866816,5116309966667280384,8047128527845150720,9171405573689757696 |
| PARAM_VALUE | 1 | dev->netdev_ops->ndo_hwtstamp_get | 0,4096-ptr_max |
| PARAM_VALUE | 1 | dev->netdev_ops->ndo_hwtstamp_set | 0,4096-ptr_max |
| PARAM_VALUE | 1 | dev->netdev_ops->ndo_init | 0,4096-ptr_max |
| PARAM_VALUE | 1 | dev->netdev_ops->ndo_mdb_add | 0,2119986891374399488,8796134536657182720 |
| PARAM_VALUE | 1 | dev->netdev_ops->ndo_mdb_del | 0,203717602681225216,2073096469438689280 |
| PARAM_VALUE | 1 | dev->netdev_ops->ndo_mdb_del_bulk | 0,5624006362985623552,9219664872299933696 |
| PARAM_VALUE | 1 | dev->netdev_ops->ndo_mdb_dump | 0,2532729884994916352,3687964558061383680 |
| PARAM_VALUE | 1 | dev->netdev_ops->ndo_mdb_get | 0,289539431463755776,1643971740771799040 |
| PARAM_VALUE | 1 | dev->netdev_ops->ndo_neigh_construct | 0,1730969122257350656,4111454779374690304 |
| PARAM_VALUE | 1 | dev->netdev_ops->ndo_neigh_destroy | 0,1846383557818683392 |
| PARAM_VALUE | 1 | dev->netdev_ops->ndo_neigh_setup | 0,3146473147097489408,7332073397710950400 |
| PARAM_VALUE | 1 | dev->netdev_ops->ndo_netpoll_cleanup | 0,160317272823885824,2092033263894568960,5637841857106440192,6899035235176972288,7213177203181477888,7984318739720314880 |
| PARAM_VALUE | 1 | dev->netdev_ops->ndo_netpoll_setup | 0,73210428509310976,3323605838882951168,3636846652428648448,4551034968116334592,5194535948142321664,5479039119781978112 |
| PARAM_VALUE | 1 | dev->netdev_ops->ndo_poll_controller | 0,4096-ptr_max |
| PARAM_VALUE | 1 | dev->netdev_ops->ndo_rx_flow_steer | 0,4096-ptr_max |
| PARAM_VALUE | 1 | dev->netdev_ops->ndo_select_queue | 0,4096-ptr_max |
| PARAM_VALUE | 1 | dev->netdev_ops->ndo_set_config | 0,1586268954384080896,2133952100825280512,4430316855586635776 |
| PARAM_VALUE | 1 | dev->netdev_ops->ndo_set_features | 0,4096-ptr_max |
| PARAM_VALUE | 1 | dev->netdev_ops->ndo_set_rx_headroom | 0,3116599864614912,4769980087624544256,4772858185436536832 |
| PARAM_VALUE | 1 | dev->netdev_ops->ndo_set_rx_mode_async | 0,4096-ptr_max |
| PARAM_VALUE | 1 | dev->netdev_ops->ndo_set_tx_maxrate | 0,663826992197451776,1536746548733267968,3424903977937309696,6674704622459142144,7140515758182232064,8094125269686288384 |
| PARAM_VALUE | 1 | dev->netdev_ops->ndo_set_vf_guid | 0,1993202516722049024 |
| PARAM_VALUE | 1 | dev->netdev_ops->ndo_set_vf_link_state | 0,4096-ptr_max |
| PARAM_VALUE | 1 | dev->netdev_ops->ndo_set_vf_mac | 0,4096-ptr_max |
| PARAM_VALUE | 1 | dev->netdev_ops->ndo_set_vf_port | 0,6678536409099956224 |
| PARAM_VALUE | 1 | dev->netdev_ops->ndo_set_vf_rate | 0,4096-ptr_max |
| PARAM_VALUE | 1 | dev->netdev_ops->ndo_set_vf_spoofchk | 0,4096-ptr_max |
| PARAM_VALUE | 1 | dev->netdev_ops->ndo_set_vf_trust | 0,4096-ptr_max |
| PARAM_VALUE | 1 | dev->netdev_ops->ndo_set_vf_vlan | 0,4096-ptr_max |
| PARAM_VALUE | 1 | dev->netdev_ops->ndo_setup_tc | 0,4096-ptr_max |
| PARAM_VALUE | 1 | dev->netdev_ops->ndo_siocbond | 0,3142037727159255040 |
| PARAM_VALUE | 1 | dev->netdev_ops->ndo_siocdevprivate | 0,4096-ptr_max |
| PARAM_VALUE | 1 | dev->netdev_ops->ndo_siocwandev | 0,3169121643887783936,4639040216571998208,4740843728122777600,5475627671455961088,6476681243475546112,7667607148383133696 |
| PARAM_VALUE | 1 | dev->netdev_ops->ndo_sk_get_lower_dev | 0,91467848338022400 |
| PARAM_VALUE | 1 | dev->netdev_ops->ndo_tunnel_ctl | 0,917093382293667840,4545361732256555008,4823928543964098560,6362961764887379968 |
| PARAM_VALUE | 1 | dev->netdev_ops->ndo_uninit | 0,4096-ptr_max |
| PARAM_VALUE | 1 | dev->netdev_ops->ndo_validate_addr | 0,4342228606772805632,8026438956919775232 |
| PARAM_VALUE | 1 | dev->netdev_ops->ndo_vlan_rx_add_vid | 0,4096-ptr_max |
| PARAM_VALUE | 1 | dev->netdev_ops->ndo_vlan_rx_kill_vid | 0,4096-ptr_max |
| PARAM_VALUE | 1 | dev->netdev_ops->ndo_work | 0,4222982197278961664 |
| PARAM_VALUE | 1 | dev->netdev_ops->ndo_xdp_get_xmit_slave | 0,3193713355967504384 |
| PARAM_VALUE | 1 | dev->netdev_ops->ndo_xdp_xmit | 0,4096-ptr_max |
| PARAM_VALUE | 1 | dev->netdev_ops->ndo_xsk_wakeup | 0,4096-ptr_max |
| PARAM_VALUE | 1 | dev->netdev_ops->net_shaper_ops | 0,2302190100066074624,8539074183871111168,8562813937747845120 |
| PARAM_VALUE | 1 | dev->npinfo->dev_lock.first_waiter->up | 0-1 |
| PARAM_VALUE | 1 | dev->rtnl_link_ops->alloc | 0,1182153660833808384,3130032447137456128 |
| PARAM_VALUE | 1 | dev->rtnl_link_ops->get_num_rx_queues | 0,1694260139628544000,4559208055891021824,7097615251001798656,8443738062496038912 |
| PARAM_VALUE | 1 | dev->rtnl_link_ops->get_num_tx_queues | 0,1694260139628544000,4559208055891021824,7071371917186535424,8443738062496038912 |
| PARAM_VALUE | 1 | dev->rtnl_link_ops->maxtype | 0-6,8-10,15,18,20,22,24,34,50 |
| PARAM_VALUE | 1 | dev->rtnl_link_ops->peer_type | 0-1 |
| PARAM_VALUE | 1 | dev->rtnl_link_ops->priv_size | 0,8,32,40,48,56,88,112,120,144,160,224,240,256,296,616,624,728,736,744,1056,1128,1336,1616,2176,2240,2272,2560,3296,3544,3552,3720,9688-u64max |
| PARAM_VALUE | 1 | dev->rtnl_link_ops->setup | 0,4096-ptr_max |
| PARAM_VALUE | 1 | dev->rtnl_link_ops->validate | 0,4096-ptr_max |
| BUF_SIZE | 1 | dev->ethtool_ops | (-1),656 |
| BUF_SIZE | 1 | dev->name_node | (-1),64 |
| BUF_SIZE | 1 | dev->name_node->name | (-1),16 |
| BUF_SIZE | 1 | dev->nd_net.net | (-1),10304,10432 |
| BUF_SIZE | 1 | dev->rtnl_link_ops | (-1),288 |
| CAPPED_DATA | 1 | dev->min_mtu | 1 |
| DATA_SOURCE | 1 | dev | $0 |
| STR_LEN | 0 | val | (-1),9-10 |
| STR_LEN | 1 | dev | (-1),9-10 |
| NOSPEC | 1 | dev->ifindex | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 1 | dev->flags | 0-527362[c] |
| USER_DATA | 1 | dev->ifindex | 0-s32max[c] |
| USER_DATA | 1 | dev->mtu | 0-s32max[c] |
| USER_DATA | 2 | arg | 1-s32max[c] |
| NO_OVERFLOW_SIMPLE | 1 | dev->group | |
| NO_OVERFLOW_SIMPLE | 1 | dev->real_num_rx_queues | |
| NO_OVERFLOW_SIMPLE | 1 | dev->real_num_tx_queues | |
| UNITS | 1 | dev | unit_byte |
| UNITS | 2 | arg | unit_byte |
| HALF_LOCKED2 | global &rtnl_mutex |
net/core/dev.c netif_set_mtu_ext() -> call_netdevice_notifiers_mtu()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | val | 7 |
| PARAM_VALUE | 1 | dev | 4096-ptr_max |
| PARAM_VALUE | 1 | dev->dev.parent->power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 1 | dev->min_mtu | 0-s32max |
| PARAM_VALUE | 1 | dev->netdev_ops | 4096-ptr_max |
| PARAM_VALUE | 1 | dev->netdev_ops->ndo_add_slave | 0,823636617244635136,3142229396628504576,4473764246731075584,5430594904042291200,5754417738661023744,7321652195188301824 |
| PARAM_VALUE | 1 | dev->netdev_ops->ndo_bpf | 0,4096-ptr_max |
| PARAM_VALUE | 1 | dev->netdev_ops->ndo_bridge_dellink | 0,680775373242744832 |
| PARAM_VALUE | 1 | dev->netdev_ops->ndo_bridge_getlink | 0,4096-ptr_max |
| PARAM_VALUE | 1 | dev->netdev_ops->ndo_bridge_setlink | 0,4096-ptr_max |
| PARAM_VALUE | 1 | dev->netdev_ops->ndo_change_carrier | 0,885170895855865856,1782477489044140032,2219068876340936704,3313908872681771008,6182840514861293568,6498501278544633856 |
| PARAM_VALUE | 1 | dev->netdev_ops->ndo_change_rx_flags | 0,4096-ptr_max |
| PARAM_VALUE | 1 | dev->netdev_ops->ndo_del_slave | 0,4188424553528614912,4729938391940333568,5387588324921257984,5687942034094653440,7973297224058761216,8884156673750904832 |
| PARAM_VALUE | 1 | dev->netdev_ops->ndo_dfwd_add_station | 0,729102835156180992,975335494189187072,8441514693898158080 |
| PARAM_VALUE | 1 | dev->netdev_ops->ndo_dfwd_del_station | 0,4186899731317792768,5439870935049994240,8029757989396582400 |
| PARAM_VALUE | 1 | dev->netdev_ops->ndo_do_ioctl | 0,788841219136544768 |
| PARAM_VALUE | 1 | dev->netdev_ops->ndo_eth_ioctl | 0,4096-ptr_max |
| PARAM_VALUE | 1 | dev->netdev_ops->ndo_fcoe_ddp_done | 0,3862468120917999616,6439886031210024960 |
| PARAM_VALUE | 1 | dev->netdev_ops->ndo_fcoe_ddp_setup | 0,632461323526074368,5761325739088502784 |
| PARAM_VALUE | 1 | dev->netdev_ops->ndo_fcoe_ddp_target | 0,3634905522993065984,7333149613958950912 |
| PARAM_VALUE | 1 | dev->netdev_ops->ndo_fcoe_disable | 0,6463264662614528000,7160346319276494848,8231323729747480576 |
| PARAM_VALUE | 1 | dev->netdev_ops->ndo_fcoe_enable | 0,2923136493182525440,3532100838410285056,4317290564582428672 |
| PARAM_VALUE | 1 | dev->netdev_ops->ndo_fcoe_get_hbainfo | 0,1096580233867087872 |
| PARAM_VALUE | 1 | dev->netdev_ops->ndo_fcoe_get_wwn | 0,522694229312503808,3927833707116441600,6823878900046209024 |
| PARAM_VALUE | 1 | dev->netdev_ops->ndo_fdb_add | 0,4096-ptr_max |
| PARAM_VALUE | 1 | dev->netdev_ops->ndo_fdb_del | 0,1601512751042326528,2190034336822136832,3914041376362209280,4943624292584730624,6612239752106622976,7096514808514260992 |
| PARAM_VALUE | 1 | dev->netdev_ops->ndo_fdb_del_bulk | 0,3653807925983469568,6417556756298358784 |
| PARAM_VALUE | 1 | dev->netdev_ops->ndo_fdb_dump | 0,636052929119883264,1277806022366916608,1361680740606844928,1886571956223459328,4010753916617592832,4110861230911090688,8456673231916085248 |
| PARAM_VALUE | 1 | dev->netdev_ops->ndo_fdb_get | 0,4225022042767831040,5668764993603383296 |
| PARAM_VALUE | 1 | dev->netdev_ops->ndo_features_check | 0,4096-ptr_max |
| PARAM_VALUE | 1 | dev->netdev_ops->ndo_fill_forward_path | 0,682957396127096832,2426471984165416960,2961787540032131072,3224334602313060352,4534558995965411328,4741173255554150400,8685789417581973504 |
| PARAM_VALUE | 1 | dev->netdev_ops->ndo_fill_metadata_dst | 0,2000313367131492352,3727338945364471808,5461160918323019776,7386306989449080832 |
| PARAM_VALUE | 1 | dev->netdev_ops->ndo_fix_features | 0,4096-ptr_max |
| PARAM_VALUE | 1 | dev->netdev_ops->ndo_get_iflink | 0,4096-ptr_max |
| PARAM_VALUE | 1 | dev->netdev_ops->ndo_get_offload_stats | 0,1883823937596661760,2002632611023077376,2654962457228488704,2746328408631848960,4537756395981295616,8722127343616376832,9009208775950950400 |
| PARAM_VALUE | 1 | dev->netdev_ops->ndo_get_peer_dev | 0,2164507488541290496,4421861222638706688 |
| PARAM_VALUE | 1 | dev->netdev_ops->ndo_get_phys_port_id | 0,4096-ptr_max |
| PARAM_VALUE | 1 | dev->netdev_ops->ndo_get_phys_port_name | 0,4096-ptr_max |
| PARAM_VALUE | 1 | dev->netdev_ops->ndo_get_port_parent_id | 0,4096-ptr_max |
| PARAM_VALUE | 1 | dev->netdev_ops->ndo_get_stats | 0,4096-ptr_max |
| PARAM_VALUE | 1 | dev->netdev_ops->ndo_get_tstamp | 0,5214773026541371392,9198102671157166080 |
| PARAM_VALUE | 1 | dev->netdev_ops->ndo_get_vf_config | 0,4096-ptr_max |
| PARAM_VALUE | 1 | dev->netdev_ops->ndo_get_vf_guid | 0,6807259938171342848 |
| PARAM_VALUE | 1 | dev->netdev_ops->ndo_get_vf_port | 0,2064544749945446400 |
| PARAM_VALUE | 1 | dev->netdev_ops->ndo_get_vf_stats | 0,4096-ptr_max |
| PARAM_VALUE | 1 | dev->netdev_ops->ndo_get_xmit_slave | 0,5414592737404526592 |
| PARAM_VALUE | 1 | dev->netdev_ops->ndo_has_offload_stats | 0,201978716227076096,386326873480708096,1561908413804244992,2069062694808866816,5116309966667280384,8047128527845150720,9171405573689757696 |
| PARAM_VALUE | 1 | dev->netdev_ops->ndo_hwtstamp_get | 0,4096-ptr_max |
| PARAM_VALUE | 1 | dev->netdev_ops->ndo_hwtstamp_set | 0,4096-ptr_max |
| PARAM_VALUE | 1 | dev->netdev_ops->ndo_init | 0,4096-ptr_max |
| PARAM_VALUE | 1 | dev->netdev_ops->ndo_mdb_add | 0,2119986891374399488,8796134536657182720 |
| PARAM_VALUE | 1 | dev->netdev_ops->ndo_mdb_del | 0,203717602681225216,2073096469438689280 |
| PARAM_VALUE | 1 | dev->netdev_ops->ndo_mdb_del_bulk | 0,5624006362985623552,9219664872299933696 |
| PARAM_VALUE | 1 | dev->netdev_ops->ndo_mdb_dump | 0,2532729884994916352,3687964558061383680 |
| PARAM_VALUE | 1 | dev->netdev_ops->ndo_mdb_get | 0,289539431463755776,1643971740771799040 |
| PARAM_VALUE | 1 | dev->netdev_ops->ndo_neigh_construct | 0,1730969122257350656,4111454779374690304 |
| PARAM_VALUE | 1 | dev->netdev_ops->ndo_neigh_destroy | 0,1846383557818683392 |
| PARAM_VALUE | 1 | dev->netdev_ops->ndo_neigh_setup | 0,3146473147097489408,7332073397710950400 |
| PARAM_VALUE | 1 | dev->netdev_ops->ndo_netpoll_cleanup | 0,160317272823885824,2092033263894568960,5637841857106440192,6899035235176972288,7213177203181477888,7984318739720314880 |
| PARAM_VALUE | 1 | dev->netdev_ops->ndo_netpoll_setup | 0,73210428509310976,3323605838882951168,3636846652428648448,4551034968116334592,5194535948142321664,5479039119781978112 |
| PARAM_VALUE | 1 | dev->netdev_ops->ndo_poll_controller | 0,4096-ptr_max |
| PARAM_VALUE | 1 | dev->netdev_ops->ndo_rx_flow_steer | 0,4096-ptr_max |
| PARAM_VALUE | 1 | dev->netdev_ops->ndo_select_queue | 0,4096-ptr_max |
| PARAM_VALUE | 1 | dev->netdev_ops->ndo_set_config | 0,1586268954384080896,2133952100825280512,4430316855586635776 |
| PARAM_VALUE | 1 | dev->netdev_ops->ndo_set_features | 0,4096-ptr_max |
| PARAM_VALUE | 1 | dev->netdev_ops->ndo_set_rx_headroom | 0,3116599864614912,4769980087624544256,4772858185436536832 |
| PARAM_VALUE | 1 | dev->netdev_ops->ndo_set_rx_mode_async | 0,4096-ptr_max |
| PARAM_VALUE | 1 | dev->netdev_ops->ndo_set_tx_maxrate | 0,663826992197451776,1536746548733267968,3424903977937309696,6674704622459142144,7140515758182232064,8094125269686288384 |
| PARAM_VALUE | 1 | dev->netdev_ops->ndo_set_vf_guid | 0,1993202516722049024 |
| PARAM_VALUE | 1 | dev->netdev_ops->ndo_set_vf_link_state | 0,4096-ptr_max |
| PARAM_VALUE | 1 | dev->netdev_ops->ndo_set_vf_mac | 0,4096-ptr_max |
| PARAM_VALUE | 1 | dev->netdev_ops->ndo_set_vf_port | 0,6678536409099956224 |
| PARAM_VALUE | 1 | dev->netdev_ops->ndo_set_vf_rate | 0,4096-ptr_max |
| PARAM_VALUE | 1 | dev->netdev_ops->ndo_set_vf_spoofchk | 0,4096-ptr_max |
| PARAM_VALUE | 1 | dev->netdev_ops->ndo_set_vf_trust | 0,4096-ptr_max |
| PARAM_VALUE | 1 | dev->netdev_ops->ndo_set_vf_vlan | 0,4096-ptr_max |
| PARAM_VALUE | 1 | dev->netdev_ops->ndo_setup_tc | 0,4096-ptr_max |
| PARAM_VALUE | 1 | dev->netdev_ops->ndo_siocbond | 0,3142037727159255040 |
| PARAM_VALUE | 1 | dev->netdev_ops->ndo_siocdevprivate | 0,4096-ptr_max |
| PARAM_VALUE | 1 | dev->netdev_ops->ndo_siocwandev | 0,3169121643887783936,4639040216571998208,4740843728122777600,5475627671455961088,6476681243475546112,7667607148383133696 |
| PARAM_VALUE | 1 | dev->netdev_ops->ndo_sk_get_lower_dev | 0,91467848338022400 |
| PARAM_VALUE | 1 | dev->netdev_ops->ndo_tunnel_ctl | 0,917093382293667840,4545361732256555008,4823928543964098560,6362961764887379968 |
| PARAM_VALUE | 1 | dev->netdev_ops->ndo_uninit | 0,4096-ptr_max |
| PARAM_VALUE | 1 | dev->netdev_ops->ndo_validate_addr | 0,4342228606772805632,8026438956919775232 |
| PARAM_VALUE | 1 | dev->netdev_ops->ndo_vlan_rx_add_vid | 0,4096-ptr_max |
| PARAM_VALUE | 1 | dev->netdev_ops->ndo_vlan_rx_kill_vid | 0,4096-ptr_max |
| PARAM_VALUE | 1 | dev->netdev_ops->ndo_work | 0,4222982197278961664 |
| PARAM_VALUE | 1 | dev->netdev_ops->ndo_xdp_get_xmit_slave | 0,3193713355967504384 |
| PARAM_VALUE | 1 | dev->netdev_ops->ndo_xdp_xmit | 0,4096-ptr_max |
| PARAM_VALUE | 1 | dev->netdev_ops->ndo_xsk_wakeup | 0,4096-ptr_max |
| PARAM_VALUE | 1 | dev->netdev_ops->net_shaper_ops | 0,2302190100066074624,8539074183871111168,8562813937747845120 |
| PARAM_VALUE | 1 | dev->npinfo->dev_lock.first_waiter->up | 0-1 |
| PARAM_VALUE | 1 | dev->rtnl_link_ops->alloc | 0,1182153660833808384,3130032447137456128 |
| PARAM_VALUE | 1 | dev->rtnl_link_ops->get_num_rx_queues | 0,1694260139628544000,4559208055891021824,7097615251001798656,8443738062496038912 |
| PARAM_VALUE | 1 | dev->rtnl_link_ops->get_num_tx_queues | 0,1694260139628544000,4559208055891021824,7071371917186535424,8443738062496038912 |
| PARAM_VALUE | 1 | dev->rtnl_link_ops->maxtype | 0-6,8-10,15,18,20,22,24,34,50 |
| PARAM_VALUE | 1 | dev->rtnl_link_ops->peer_type | 0-1 |
| PARAM_VALUE | 1 | dev->rtnl_link_ops->priv_size | 0,8,32,40,48,56,88,112,120,144,160,224,240,256,296,616,624,728,736,744,1056,1128,1336,1616,2176,2240,2272,2560,3296,3544,3552,3720,9688-u64max |
| PARAM_VALUE | 1 | dev->rtnl_link_ops->setup | 0,4096-ptr_max |
| PARAM_VALUE | 1 | dev->rtnl_link_ops->validate | 0,4096-ptr_max |
| PARAM_VALUE | 2 | arg | 0-s32max |
| BUF_SIZE | 1 | dev->ethtool_ops | (-1),656 |
| BUF_SIZE | 1 | dev->name_node | (-1),64 |
| BUF_SIZE | 1 | dev->name_node->name | (-1),16 |
| BUF_SIZE | 1 | dev->nd_net.net | (-1),10304,10432 |
| BUF_SIZE | 1 | dev->rtnl_link_ops | (-1),288 |
| CAPPED_DATA | 1 | dev->min_mtu | 1 |
| CAPPED_DATA | 2 | arg | 1 |
| DATA_SOURCE | 1 | dev | $0 |
| DATA_SOURCE | 2 | arg | $1 |
| STR_LEN | 0 | val | (-1),9-10 |
| STR_LEN | 1 | dev | (-1),9-10 |
| PARAM_COMPARE | 1 | dev->min_mtu | <= $2 |
| PARAM_COMPARE | 2 | arg | >= $1->min_mtu |
| NOSPEC | 1 | dev->ifindex | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 1 | dev->flags | 0-527362[c] |
| USER_DATA | 1 | dev->ifindex | 0-s32max[c] |
| USER_DATA | 1 | dev->mtu | 0-s32max[c] |
| USER_DATA | 2 | arg | 0-s32max[c] |
| NO_OVERFLOW_SIMPLE | 1 | dev->group | |
| NO_OVERFLOW_SIMPLE | 1 | dev->real_num_rx_queues | |
| NO_OVERFLOW_SIMPLE | 1 | dev->real_num_tx_queues | |
| UNITS | 1 | dev | unit_byte |
| UNITS | 2 | arg | unit_byte |
| HALF_LOCKED2 | global &rtnl_mutex |