Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/netdevsim/netdev.c nsim_destroy() -> nsim_exit_netdevsim()

Type Parameter Key Value
PARAM_VALUE 0 ns 4096-ptr_max
PARAM_VALUE 0 ns->ethtool_ddir 0,4096-u64max
PARAM_VALUE 0 ns->ethtool_ddir->d_inode->i_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 ns->ethtool_ddir->d_sb->s_fs_info->lookup_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 ns->ethtool_ddir->d_sib->next->pprev 1-u64max
PARAM_VALUE 0 ns->ipsec.pfile 0,4096-u64max
PARAM_VALUE 0 ns->ipsec.pfile->d_inode->i_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 ns->ipsec.pfile->d_sb->s_fs_info->lookup_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 ns->ipsec.pfile->d_sib->next->pprev 1-u64max
PARAM_VALUE 0 ns->netdev 4096-ptr_max
PARAM_VALUE 0 ns->netdev->macsec_ops->mdo_add_rxsa 163425787719901184,2409853263923675136,4749652716341215232,6397619101132197888,6508974466607439872,7065848831903682560,9128299818035851264
PARAM_VALUE 0 ns->netdev->macsec_ops->mdo_add_rxsc 193261275056394240,1164664598955925504,1410077732360916992,2604012179752505344,6139523153470713856,7538273491427434496,7906931322682527744
PARAM_VALUE 0 ns->netdev->macsec_ops->mdo_add_secy 842005441285242880,945029182314905600,3953659780303851520,4888558784726523904,7261561276082274304,7844324145333383168,9034181674868240384
PARAM_VALUE 0 ns->netdev->macsec_ops->mdo_add_txsa 591647844761890816,3524336864399855616,5183800948125016064,6133802255843045376,6604744811183665152,6976956662378205184,9109766468044668928
PARAM_VALUE 0 ns->netdev->macsec_ops->mdo_del_rxsa 1427997913435877376,1923829451766083584,3944154140480749568,6003337178094907392,7099455846816395264,8363662056776511488,8980320722559553536
PARAM_VALUE 0 ns->netdev->macsec_ops->mdo_del_rxsc 479019405184192512,3035556697103646720,6995460318525947904,7425473281916559360,7522925237430075392,7981467230026833920,8982910685215236096
PARAM_VALUE 0 ns->netdev->macsec_ops->mdo_del_secy 329368361011011584,1330358339151310848,2209000295139336192,2465972435014213632,7808744711130198016,8384796150949273600,8761494235520118784
PARAM_VALUE 0 ns->netdev->macsec_ops->mdo_del_txsa 1093800517483614208,1126241117466255360,1436186206156767232,5024959751121215488,6158959912894603264,7321299258061258752,8226449149807988736
PARAM_VALUE 0 ns->netdev->macsec_ops->mdo_dev_open 0,46617871536148480,1186340955768340480,1578839799316742144,7555587150041579520,7559611308818915328
PARAM_VALUE 0 ns->netdev->macsec_ops->mdo_dev_stop 0,2690798186163240960,3024397440349175808,3827349205363408896,7305152389389393920,8889943436389421056
PARAM_VALUE 0 ns->netdev->macsec_ops->mdo_get_dev_stats 0,1352862577332731904,5722668814835134464,5781348410999853056,8852977262939955200
PARAM_VALUE 0 ns->netdev->macsec_ops->mdo_get_rx_sa_stats 0,1673435161649569792,3200743684769660928,6899232598758776832,7307906313871941632
PARAM_VALUE 0 ns->netdev->macsec_ops->mdo_get_rx_sc_stats 0,1605103212092796928,3448030796735528960,3547502722031550464,8604079982031470592
PARAM_VALUE 0 ns->netdev->macsec_ops->mdo_get_tx_sa_stats 0,35142809487089664,326444212213121024,1373943721611808768,5635115662069411840
PARAM_VALUE 0 ns->netdev->macsec_ops->mdo_get_tx_sc_stats 0,1702131139186184192,3921007299918233600,5621192375512887296,5668252577000337408
PARAM_VALUE 0 ns->netdev->macsec_ops->mdo_insert_tx_tag 0,2664581970208231424
PARAM_VALUE 0 ns->netdev->macsec_ops->mdo_upd_rxsa 2964103000898506752,3137141590133841920,4710787571743735808,5163688582160728064,5458407403791376384,8468470765629591552,8495233451607121920
PARAM_VALUE 0 ns->netdev->macsec_ops->mdo_upd_rxsc 670417372303609856,3368549035700969472,4814951234774917120,5068833495283052544,6216414512145694720,6811924788091142144,7302459345976160256
PARAM_VALUE 0 ns->netdev->macsec_ops->mdo_upd_secy 519088815372255232,1361485736838180864,1721528463174217728,3842000022160130048,4551892424918192128,5166712385128693760,5946169596459249664
PARAM_VALUE 0 ns->netdev->macsec_ops->mdo_upd_txsa 47844894511034368,2330603073819615232,4431831709854248960,4553274197628084224,4727956524320022528,4871141601842470912,7118760367003201536
PARAM_VALUE 0 ns->netdev->macsec_ops->needed_headroom 0,32
PARAM_VALUE 0 ns->netdev->netdev_ops->ndo_validate_addr 0,4342228606772805632,8026438956919775232
PARAM_VALUE 0 ns->netdev->num_rx_queues 0-s32max
PARAM_VALUE 0 ns->netdev->queue_mgmt_ops->ndo_default_qcfg 0,745112032661176320,8477781556184170496
PARAM_VALUE 0 ns->netdev->queue_mgmt_ops->ndo_queue_create 0,7955229058455453696
PARAM_VALUE 0 ns->netdev->queue_mgmt_ops->ndo_queue_get_dma_dev 0,9153686995966713856
PARAM_VALUE 0 ns->netdev->queue_mgmt_ops->ndo_queue_mem_alloc 0,858415719450836992,1069519309271445504,4055804802572705792,4184751618518351872,4624100903205793792
PARAM_VALUE 0 ns->netdev->queue_mgmt_ops->ndo_queue_mem_free 0,301923315402379264,3682041680172670976,3991245859156033536,4250023191997337600,5513150510245433344
PARAM_VALUE 0 ns->netdev->queue_mgmt_ops->ndo_queue_mem_size 0,8,16,512,576,1536
PARAM_VALUE 0 ns->netdev->queue_mgmt_ops->ndo_queue_start 0,1103887821577760768,2771006545549180928,5306927477388435456,6620092355456921600,8362455351228514304
PARAM_VALUE 0 ns->netdev->queue_mgmt_ops->ndo_queue_stop 0,436301361964892160,1591015467262910464,5802491108651962368,7891353303938633728,8658493538258481152
PARAM_VALUE 0 ns->netdev->queue_mgmt_ops->ndo_validate_qcfg 0,6704640232342953984,9185991941304254464
PARAM_VALUE 0 ns->netdev->queue_mgmt_ops->supported_params 0-1
PARAM_VALUE 0 ns->netdev->unreg_list.next 4096-ptr_max
PARAM_VALUE 0 ns->netdev->unreg_list.next->prev 4096-ptr_max
PARAM_VALUE 0 ns->netdev->unreg_list.prev 5817677264693248000
PARAM_VALUE 0 ns->netdev->unreg_list.prev->next 4096-ptr_max
PARAM_VALUE 0 ns->netdev->xfrmdev_ops->xdo_dev_offload_ok 0,1168490449487343616
PARAM_VALUE 0 ns->netdev->xfrmdev_ops->xdo_dev_policy_add 0,2045051480105140224
PARAM_VALUE 0 ns->netdev->xfrmdev_ops->xdo_dev_policy_delete 0,947884759415885824
PARAM_VALUE 0 ns->netdev->xfrmdev_ops->xdo_dev_policy_free 0,1668747796594069504
PARAM_VALUE 0 ns->netdev->xfrmdev_ops->xdo_dev_state_add 4096-ptr_max
PARAM_VALUE 0 ns->netdev->xfrmdev_ops->xdo_dev_state_advance_esn 0,317591795473039360,2067320901665550336,4124001140151758848,8775792675675045888
PARAM_VALUE 0 ns->netdev->xfrmdev_ops->xdo_dev_state_delete 4096-ptr_max
PARAM_VALUE 0 ns->netdev->xfrmdev_ops->xdo_dev_state_free 0,1462609734578806784,3566692408891461632,4924893780448645120,5711987509112078336
PARAM_VALUE 0 ns->netdev->xfrmdev_ops->xdo_dev_state_update_stats 0,3042981196760178688,5610558849502883840
PARAM_VALUE 0 ns->nsim_dev 4096-ptr_max
PARAM_VALUE 0 ns->nsim_dev_port 4096-ptr_max
PARAM_VALUE 0 ns->nsim_dev_port->port_type 0
PARAM_VALUE 0 ns->peer 0
PARAM_VALUE 0 ns->pp_dfs 0,4096-u64max
PARAM_VALUE 0 ns->pp_dfs->d_fsdata->management_timer.flags 0-4294967295
PARAM_VALUE 0 ns->pp_dfs->d_inode->i_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 ns->pp_dfs->d_sb->s_fs_info->lookup_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 ns->pp_dfs->d_sb->s_roots_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 ns->psp.rereg 0,4096-u64max
PARAM_VALUE 0 ns->psp.rereg->d_inode->i_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 ns->psp.rereg->d_sb->s_fs_info->lookup_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 ns->psp.rereg->d_sib->next->pprev 1-u64max
PARAM_VALUE 0 ns->psp.rereg_lock.magic 0
PARAM_VALUE 0 ns->qr_dfs 0,4096-u64max
PARAM_VALUE 0 ns->qr_dfs->d_fsdata->management_timer.flags 0-4294967295
PARAM_VALUE 0 ns->qr_dfs->d_inode->i_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 ns->qr_dfs->d_sb->s_fs_info->lookup_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 ns->qr_dfs->d_sb->s_roots_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 ns->rq 0
PARAM_VALUE 0 ns->vlan_dfs 0,4096-u64max
PARAM_VALUE 0 ns->vlan_dfs->d_fsdata->management_timer.flags 0-4294967295
PARAM_VALUE 0 ns->vlan_dfs->d_inode->i_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 ns->vlan_dfs->d_sb->s_fs_info->lookup_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 ns->vlan_dfs->d_sb->s_roots_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 *ns->ethtool_ddir->d_inode->i_hash.next->pprev 1-u64max
PARAM_VALUE 0 *ns->ethtool_ddir->d_inode->i_sb->s_fs_info->nm_info->nat_root.xa_head (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 *ns->ethtool_ddir->d_inode->i_sb->s_fs_info->wbuf_verify 0-255
PARAM_VALUE 0 *ns->ipsec->pfile->d_inode->i_hash.next->pprev 1-u64max
PARAM_VALUE 0 *ns->ipsec->pfile->d_inode->i_sb->s_fs_info->nm_info->nat_root.xa_head (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 *ns->ipsec->pfile->d_inode->i_sb->s_fs_info->wbuf_verify 0-255
PARAM_VALUE 0 *ns->netdev->name 0-255
PARAM_VALUE 0 *ns->psp.rereg->d_inode->i_hash.next->pprev 1-u64max
PARAM_VALUE 0 *ns->psp.rereg->d_inode->i_sb->s_fs_info->nm_info->nat_root.xa_head (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 *ns->psp.rereg->d_inode->i_sb->s_fs_info->wbuf_verify 0-255
CAPPED_DATA 0 ns->ethtool_ddir 1
CAPPED_DATA 0 ns->ipsec.pfile 1
CAPPED_DATA 0 ns->netdev->num_rx_queues 1
CAPPED_DATA 0 ns->psp.rereg 1
DATA_SOURCE 0 ns $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &of->mutex