Defined in 2 files as a prototype:
- drivers/net/ethernet/mellanox/mlx5/core/cmd.c, line 961 (as a prototype)
- ipc/util.h, line 198 (as a prototype)
Defined in 2 files as a function:
- drivers/net/ethernet/mellanox/mlx5/core/cmd.c, line 1722 (as a function)
- ipc/msgutil.c, line 177 (as a function)
Referenced in 17 files:
- drivers/accel/qaic/qaic_control.c
- drivers/net/can/usb/esd_usb.c
- drivers/net/ethernet/freescale/enetc/enetc_msg.c
- drivers/net/ethernet/mellanox/mlx5/core/cmd.c
- drivers/net/ethernet/meta/fbnic/fbnic_fw.c
- drivers/net/wireless/microchip/wilc1000/hif.c
- fs/smb/smbdirect/rw.c
- ipc/mqueue.c
- ipc/msg.c
- ipc/msgutil.c
- net/core/drop_monitor.c
- net/devlink/dev.c
- net/ipv6/seg6.c
- net/nfc/netlink.c
- net/shaper/shaper.c
-
net/wireless/nl80211.c
- line 5445
- line 5451
- line 5461
- line 14642
- line 14650
- line 14662
- line 14882
- line 14890
- line 14905
- line 15003
- line 15019
- line 16373
- line 16379
- line 16391
- line 22974
- line 22979
- line 22983
- line 22991
- line 22995
- line 22998
- line 23001
- line 23004
- line 23007
- line 23010
- line 23015
- line 23019
- line 23023
- line 23028
- line 23033
- line 23048
- line 23052
- line 23057
- line 23068
- net/wireless/pmsr.c
Smatch caller information:
drivers/net/ethernet/mellanox/mlx5/core/cmd.c cmd_exec() -> free_msg()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->cmd.dbg.dbg_root->d_inode->i_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | dev->cmd.dbg.dbg_root->d_inode->i_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | dev->cmd.dbg.dbg_root->d_op->d_automount | 0,2908707185815040000,3401111987815645184,6746145930460459008,7190988915944083456,7386785427940065280,8018779550845526016 |
| PARAM_VALUE | 0 | dev->cmd.dbg.dbg_root->d_op->d_init | 0,2385819921126617088,7057831443282669568,7824184004865302528 |
| PARAM_VALUE | 0 | dev->cmd.dbg.dbg_root->d_op->d_iput | 0,170374395438985216,837750826476904448,5086081384299388928,8216155483032948736 |
| PARAM_VALUE | 0 | dev->cmd.dbg.dbg_root->d_op->d_manage | 0,1859587847549206528 |
| PARAM_VALUE | 0 | dev->cmd.dbg.dbg_root->d_op->d_prune | 0,2225594340392566784,7225953709177749504 |
| PARAM_VALUE | 0 | dev->cmd.dbg.dbg_root->d_op->d_real | 0,4509355519306412032 |
| PARAM_VALUE | 0 | dev->cmd.dbg.dbg_root->d_op->d_unalias_trylock | 0,6635409759016140800 |
| PARAM_VALUE | 0 | dev->cmd.dbg.dbg_root->d_op->d_unalias_unlock | 0,6336447517789900800 |
| PARAM_VALUE | 0 | dev->cmd.dbg.dbg_root->d_op->d_weak_revalidate | 0,1549882712720502784,5632434648052031488,5669063523602272256,7231033168839651328 |
| PARAM_VALUE | 0 | dev->cmd.dbg.dbg_root->d_parent->d_sb->__s_d_op->d_init | 0,2385819921126617088,7057831443282669568,7824184004865302528 |
| PARAM_VALUE | 0 | dev->cmd.dbg.dbg_root->d_parent->d_sb->__s_d_op->d_iput | 0,170374395438985216,837750826476904448,5086081384299388928,8216155483032948736 |
| PARAM_VALUE | 0 | dev->cmd.dbg.dbg_root->d_parent->d_sb->__s_d_op->d_manage | 0,1859587847549206528 |
| PARAM_VALUE | 0 | dev->cmd.dbg.dbg_root->d_parent->d_sb->__s_d_op->d_prune | 0,2225594340392566784,7225953709177749504 |
| PARAM_VALUE | 0 | dev->cmd.dbg.dbg_root->d_parent->d_sb->__s_d_op->d_real | 0,4509355519306412032 |
| PARAM_VALUE | 0 | dev->cmd.dbg.dbg_root->d_sb->__s_d_op->d_automount | 0,2908707185815040000,3401111987815645184,6746145930460459008,7190988915944083456,7386785427940065280,8018779550845526016 |
| PARAM_VALUE | 0 | dev->cmd.dbg.dbg_root->d_sb->__s_d_op->d_init | 0,2385819921126617088,7057831443282669568,7824184004865302528 |
| PARAM_VALUE | 0 | dev->cmd.dbg.dbg_root->d_sb->__s_d_op->d_iput | 0,170374395438985216,837750826476904448,5086081384299388928,8216155483032948736 |
| PARAM_VALUE | 0 | dev->cmd.dbg.dbg_root->d_sb->__s_d_op->d_manage | 0,1859587847549206528 |
| PARAM_VALUE | 0 | dev->cmd.dbg.dbg_root->d_sb->__s_d_op->d_prune | 0,2225594340392566784,7225953709177749504 |
| PARAM_VALUE | 0 | dev->cmd.dbg.dbg_root->d_sb->__s_d_op->d_real | 0,4509355519306412032 |
| PARAM_VALUE | 0 | dev->cmd.dbg.dbg_root->d_sb->__s_d_op->d_unalias_trylock | 0,6635409759016140800 |
| PARAM_VALUE | 0 | dev->cmd.dbg.dbg_root->d_sb->__s_d_op->d_unalias_unlock | 0,6336447517789900800 |
| PARAM_VALUE | 0 | dev->cmd.dbg.dbg_root->d_sb->__s_d_op->d_weak_revalidate | 0,1549882712720502784,5632434648052031488,5669063523602272256,7231033168839651328 |
| PARAM_VALUE | 0 | dev->cmd.state | 1 |
| PARAM_VALUE | 0 | dev->cmd.token | 1-255 |
| PARAM_VALUE | 0 | dev->cmd.token_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | dev->cmd.vars.pages_sem.first_waiter->up | 0-1 |
| PARAM_VALUE | 0 | dev->cmd.vars.sem.first_waiter->up | 0-1 |
| PARAM_VALUE | 0 | dev->cmd.vars.throttle_sem.first_waiter->up | 0-1 |
| PARAM_VALUE | 0 | dev->cmd.vars.unprivileged_sem.first_waiter->up | 0-1 |
| PARAM_VALUE | 0 | dev->pdev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->pdev->bus->self->link_bwctrl->cdev | (-22),(-19),(-12),0-s64max |
| PARAM_VALUE | 0 | dev->pdev->error_state | 1 |
| PARAM_VALUE | 0 | dev->priv.bfreg.up->mdev->cmd.vars.throttle_sem.first_waiter->up | 0-1 |
| PARAM_VALUE | 0 | dev->priv.bfreg.up->mdev->cmd.vars.unprivileged_sem.first_waiter->up | 0-1 |
| PARAM_VALUE | 0 | dev->priv.dbg.cq_debugfs->d_inode->i_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | dev->priv.dbg.cq_debugfs->d_inode->i_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | dev->priv.dbg.dbg_root->d_inode->i_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | dev->priv.dbg.dbg_root->d_inode->i_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | dev->priv.dbg.dbg_root->d_parent->d_sb->__s_d_op->d_init | 0,2385819921126617088,7057831443282669568,7824184004865302528 |
| PARAM_VALUE | 0 | dev->priv.dbg.dbg_root->d_parent->d_sb->__s_d_op->d_iput | 0,170374395438985216,837750826476904448,5086081384299388928,8216155483032948736 |
| PARAM_VALUE | 0 | dev->priv.dbg.dbg_root->d_parent->d_sb->__s_d_op->d_manage | 0,1859587847549206528 |
| PARAM_VALUE | 0 | dev->priv.dbg.dbg_root->d_parent->d_sb->__s_d_op->d_prune | 0,2225594340392566784,7225953709177749504 |
| PARAM_VALUE | 0 | dev->priv.dbg.dbg_root->d_parent->d_sb->__s_d_op->d_real | 0,4509355519306412032 |
| PARAM_VALUE | 0 | dev->priv.dbg.dbg_root->d_sb->__s_d_op->d_automount | 0,2908707185815040000,3401111987815645184,6746145930460459008,7190988915944083456,7386785427940065280,8018779550845526016 |
| PARAM_VALUE | 0 | dev->priv.dbg.dbg_root->d_sb->__s_d_op->d_init | 0,2385819921126617088,7057831443282669568,7824184004865302528 |
| PARAM_VALUE | 0 | dev->priv.dbg.dbg_root->d_sb->__s_d_op->d_iput | 0,170374395438985216,837750826476904448,5086081384299388928,8216155483032948736 |
| PARAM_VALUE | 0 | dev->priv.dbg.dbg_root->d_sb->__s_d_op->d_manage | 0,1859587847549206528 |
| PARAM_VALUE | 0 | dev->priv.dbg.dbg_root->d_sb->__s_d_op->d_prune | 0,2225594340392566784,7225953709177749504 |
| PARAM_VALUE | 0 | dev->priv.dbg.dbg_root->d_sb->__s_d_op->d_real | 0,4509355519306412032 |
| PARAM_VALUE | 0 | dev->priv.dbg.dbg_root->d_sb->__s_d_op->d_unalias_trylock | 0,6635409759016140800 |
| PARAM_VALUE | 0 | dev->priv.dbg.dbg_root->d_sb->__s_d_op->d_unalias_unlock | 0,6336447517789900800 |
| PARAM_VALUE | 0 | dev->priv.dbg.dbg_root->d_sb->__s_d_op->d_weak_revalidate | 0,1549882712720502784,5632434648052031488,5669063523602272256,7231033168839651328 |
| PARAM_VALUE | 0 | dev->priv.dbg.eq_debugfs->d_inode->i_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | dev->priv.dbg.eq_debugfs->d_inode->i_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | dev->priv.dbg.pages_debugfs->d_inode->i_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | dev->priv.dbg.pages_debugfs->d_inode->i_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | dev->priv.dbg.pages_debugfs->d_parent->d_sb->__s_d_op->d_init | 0,2385819921126617088,7057831443282669568,7824184004865302528 |
| PARAM_VALUE | 0 | dev->priv.dbg.pages_debugfs->d_parent->d_sb->__s_d_op->d_iput | 0,170374395438985216,837750826476904448,5086081384299388928,8216155483032948736 |
| PARAM_VALUE | 0 | dev->priv.dbg.pages_debugfs->d_parent->d_sb->__s_d_op->d_manage | 0,1859587847549206528 |
| PARAM_VALUE | 0 | dev->priv.dbg.pages_debugfs->d_parent->d_sb->__s_d_op->d_prune | 0,2225594340392566784,7225953709177749504 |
| PARAM_VALUE | 0 | dev->priv.dbg.pages_debugfs->d_parent->d_sb->__s_d_op->d_real | 0,4509355519306412032 |
| PARAM_VALUE | 0 | dev->priv.dbg.pages_debugfs->d_sb->__s_d_op->d_automount | 0,2908707185815040000,3401111987815645184,6746145930460459008,7190988915944083456,7386785427940065280,8018779550845526016 |
| PARAM_VALUE | 0 | dev->priv.dbg.pages_debugfs->d_sb->__s_d_op->d_init | 0,2385819921126617088,7057831443282669568,7824184004865302528 |
| PARAM_VALUE | 0 | dev->priv.dbg.pages_debugfs->d_sb->__s_d_op->d_iput | 0,170374395438985216,837750826476904448,5086081384299388928,8216155483032948736 |
| PARAM_VALUE | 0 | dev->priv.dbg.pages_debugfs->d_sb->__s_d_op->d_manage | 0,1859587847549206528 |
| PARAM_VALUE | 0 | dev->priv.dbg.pages_debugfs->d_sb->__s_d_op->d_prune | 0,2225594340392566784,7225953709177749504 |
| PARAM_VALUE | 0 | dev->priv.dbg.pages_debugfs->d_sb->__s_d_op->d_real | 0,4509355519306412032 |
| PARAM_VALUE | 0 | dev->priv.dbg.pages_debugfs->d_sb->__s_d_op->d_unalias_trylock | 0,6635409759016140800 |
| PARAM_VALUE | 0 | dev->priv.dbg.pages_debugfs->d_sb->__s_d_op->d_unalias_unlock | 0,6336447517789900800 |
| PARAM_VALUE | 0 | dev->priv.dbg.pages_debugfs->d_sb->__s_d_op->d_weak_revalidate | 0,1549882712720502784,5632434648052031488,5669063523602272256,7231033168839651328 |
| PARAM_VALUE | 0 | dev->state | 0-1,3-u32max |
| PARAM_VALUE | 0 | *dev->caps.pcam | 0-4294967295 |
| PARAM_VALUE | 0 | *dev->caps.qcam | 0-4294967295 |
| PARAM_VALUE | 0 | *dev->pdev->saved_config_space | 0-4294967295 |
| PARAM_VALUE | 1 | msg | 4096-ptr_max |
| PARAM_VALUE | 1 | msg->next->buf->token | 1-255 |
| PARAM_VALUE | 1 | *msg->first.data | 0-4294967295 |
| PARAM_VALUE | 1 | *msg->next->buf->data | 0-255 |
| BUF_SIZE | 0 | dev | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | dev | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | dev->device | (-1),1616 |
| BUF_SIZE | 1 | msg | (-1),56 |
| BUF_SIZE | 1 | msg | (-1),56 |
| CAPPED_DATA | 0 | dev->cmd.allowed_opcode | 1 |
| CAPPED_DATA | 1 | msg->len | 1 |
| DATA_SOURCE | 0 | dev | $0 |
| DATA_SOURCE | 1 | msg | r alloc_msg |
| BIT_INFO | 1 | msg->len | 0x0,0x7fffffff |
| NOSPEC | 1 | msg->len | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 0 | dev->caps.embedded_cpu | 0-1 |
| HOST_DATA | 0 | dev->cmd.vars.log_stride | 0-15 |
| HOST_DATA | 0 | dev->cmd.vars.log_sz | 0-15[c] |
| HOST_DATA | 0 | dev->pdev->acs_capabilities | 0-u16max |
| HOST_DATA | 0 | dev->pdev->bus->bridge_ctl | 0-u16max |
| HOST_DATA | 0 | dev->pdev->bus->parent->bridge_ctl | 0-u16max |
| HOST_DATA | 0 | dev->pdev->class | 0-16777215 |
| HOST_DATA | 0 | dev->pdev->current_state | 0-3[c] |
| HOST_DATA | 0 | dev->pdev->devcap | 0-u32max |
| HOST_DATA | 0 | dev->pdev->devfn | 0-503[c] |
| HOST_DATA | 0 | dev->pdev->device | 0-u16max |
| HOST_DATA | 0 | dev->pdev->eetlp_prefix_max | 0-7[c] |
| HOST_DATA | 0 | dev->pdev->fm_enabled | 0-1[c] |
| HOST_DATA | 0 | dev->pdev->hdr_type | 0-255[c] |
| HOST_DATA | 0 | dev->pdev->ide_cfg | 0-1[c] |
| HOST_DATA | 0 | dev->pdev->ide_tee_limit | 0-1[c] |
| HOST_DATA | 0 | dev->pdev->irq | 0-255 |
| HOST_DATA | 0 | dev->pdev->is_cxl | 0-1 |
| HOST_DATA | 0 | dev->pdev->multifunction | 0-1[c] |
| HOST_DATA | 0 | dev->pdev->nr_ide_mem | 0-255[c] |
| HOST_DATA | 0 | dev->pdev->pcie_flags_reg | 0-u16max |
| HOST_DATA | 0 | dev->pdev->pcie_mpss | 0-7[c] |
| HOST_DATA | 0 | dev->pdev->physfn->acs_capabilities | 0-u16max |
| HOST_DATA | 0 | dev->pdev->physfn->bus->bridge_ctl | 0-u16max |
| HOST_DATA | 0 | dev->pdev->physfn->bus->parent->bridge_ctl | 0-u16max |
| HOST_DATA | 0 | dev->pdev->physfn->class | 0-16777215 |
| HOST_DATA | 0 | dev->pdev->physfn->current_state | 0-3[c] |
| HOST_DATA | 0 | dev->pdev->physfn->devcap | 0-u32max |
| HOST_DATA | 0 | dev->pdev->physfn->devfn | 1-503[c] |
| HOST_DATA | 0 | dev->pdev->physfn->device | 0-u16max |
| HOST_DATA | 0 | dev->pdev->physfn->eetlp_prefix_max | 0-7[c] |
| HOST_DATA | 0 | dev->pdev->physfn->fm_enabled | 0-1[c] |
| HOST_DATA | 0 | dev->pdev->physfn->hdr_type | 0-255[c] |
| HOST_DATA | 0 | dev->pdev->physfn->ide_cfg | 0-1[c] |
| HOST_DATA | 0 | dev->pdev->physfn->ide_tee_limit | 0-1[c] |
| HOST_DATA | 0 | dev->pdev->physfn->irq | 0-255 |
| HOST_DATA | 0 | dev->pdev->physfn->is_cxl | 0-1 |
| HOST_DATA | 0 | dev->pdev->physfn->multifunction | 0-1[c] |
| HOST_DATA | 0 | dev->pdev->physfn->nr_ide_mem | 0-255[c] |
| HOST_DATA | 0 | dev->pdev->physfn->pcie_flags_reg | 0-u16max |
| HOST_DATA | 0 | dev->pdev->physfn->pcie_mpss | 0-7[c] |
| HOST_DATA | 0 | dev->pdev->physfn->pin | 0 |
| HOST_DATA | 0 | dev->pdev->physfn->pme_support | 0-31[c] |
| HOST_DATA | 0 | dev->pdev->physfn->ptm_granularity | 0-255[c] |
| HOST_DATA | 0 | dev->pdev->physfn->revision | 0-255 |
| HOST_DATA | 0 | dev->pdev->physfn->subsystem_device | 0-u16max |
| HOST_DATA | 0 | dev->pdev->physfn->subsystem_vendor | 0-u16max |
| HOST_DATA | 0 | dev->pdev->physfn->supported_speeds | 0,2-254[c] |
| HOST_DATA | 0 | dev->pdev->physfn->transparent | 0[c] |
| HOST_DATA | 0 | dev->pdev->physfn->vendor | 0-u16max |
| HOST_DATA | 0 | dev->pdev->pin | 0 |
| HOST_DATA | 0 | dev->pdev->pme_support | 0-31[c] |
| HOST_DATA | 0 | dev->pdev->ptm_granularity | 0-255[c] |
| HOST_DATA | 0 | dev->pdev->revision | 0-255 |
| HOST_DATA | 0 | dev->pdev->subsystem_device | 0-u16max |
| HOST_DATA | 0 | dev->pdev->subsystem_vendor | 0-u16max |
| HOST_DATA | 0 | dev->pdev->supported_speeds | 0,2-254[c] |
| HOST_DATA | 0 | dev->pdev->transparent | 0[c] |
| HOST_DATA | 0 | dev->pdev->vendor | 0-u16max |
| HOST_DATA | 0 | *dev->pdev->dev.driver_data | s64min-s64max |
| HOST_DATA | 0 | *dev->pdev->physfn->dev.driver_data | s64min-s64max |
| USER_DATA | 1 | msg->len | 17-2097152[c] |
| USER_DATA | 1 | *msg->first.data | 0-4294967295 |
| NO_OVERFLOW_SIMPLE | 0 | dev->priv.eswitch->dev->cmd.pool->allocation | |
| NO_OVERFLOW_SIMPLE | 1 | msg->len | |
| UNITS | 0 | dev | unit_byte |
| HALF_LOCKED2 | &dev->mutex | ||
| HALF_LOCKED2 | 0 | &dev->cmd.vars.throttle_sem | |
| HALF_LOCKED2 | 0 | &dev->cmd.vars.unprivileged_sem | |
| HALF_LOCKED2 | 0 | &dev->intf_state_mutex |
drivers/net/ethernet/mellanox/mlx5/core/cmd.c cmd_work_handler() -> free_msg()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->cmd.pool->lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | dev->device | 0,4096-ptr_max |
| PARAM_VALUE | 0 | dev->device->bus | 0,4096-ptr_max |
| PARAM_VALUE | 0 | dev->device->class | 0,4096-ptr_max |
| PARAM_VALUE | 0 | dev->device->driver | 0,4096-ptr_max |
| PARAM_VALUE | 0 | dev->timeouts | 4096-ptr_max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/net/ethernet/mellanox/mlx5/core/cmd.c cmd_work_handler() -> free_msg()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->cmd.pool->lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | dev->timeouts | 4096-ptr_max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | &cmd->vars.sem | ||
| TYPE_LOCK | (struct mlx5_cmd)->vars.sem |
drivers/net/ethernet/mellanox/mlx5/core/cmd.c mlx5_cmd_comp_handler() -> free_msg()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->cmd.dbg.dbg_root->d_inode->i_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | dev->cmd.dbg.dbg_root->d_inode->i_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | dev->cmd.dbg.dbg_root->d_parent->d_sb->__s_d_op->d_init | 0,2385819921126617088,7057831443282669568,7824184004865302528 |
| PARAM_VALUE | 0 | dev->cmd.dbg.dbg_root->d_parent->d_sb->__s_d_op->d_iput | 0,170374395438985216,837750826476904448,5086081384299388928,8216155483032948736 |
| PARAM_VALUE | 0 | dev->cmd.dbg.dbg_root->d_parent->d_sb->__s_d_op->d_manage | 0,1859587847549206528 |
| PARAM_VALUE | 0 | dev->cmd.dbg.dbg_root->d_parent->d_sb->__s_d_op->d_prune | 0,2225594340392566784,7225953709177749504 |
| PARAM_VALUE | 0 | dev->cmd.dbg.dbg_root->d_parent->d_sb->__s_d_op->d_real | 0,4509355519306412032 |
| PARAM_VALUE | 0 | dev->cmd.dbg.dbg_root->d_sb->__s_d_op->d_automount | 0,2908707185815040000,3401111987815645184,6746145930460459008,7190988915944083456,7386785427940065280,8018779550845526016 |
| PARAM_VALUE | 0 | dev->cmd.dbg.dbg_root->d_sb->__s_d_op->d_init | 0,2385819921126617088,7057831443282669568,7824184004865302528 |
| PARAM_VALUE | 0 | dev->cmd.dbg.dbg_root->d_sb->__s_d_op->d_iput | 0,170374395438985216,837750826476904448,5086081384299388928,8216155483032948736 |
| PARAM_VALUE | 0 | dev->cmd.dbg.dbg_root->d_sb->__s_d_op->d_manage | 0,1859587847549206528 |
| PARAM_VALUE | 0 | dev->cmd.dbg.dbg_root->d_sb->__s_d_op->d_prune | 0,2225594340392566784,7225953709177749504 |
| PARAM_VALUE | 0 | dev->cmd.dbg.dbg_root->d_sb->__s_d_op->d_real | 0,4509355519306412032 |
| PARAM_VALUE | 0 | dev->cmd.dbg.dbg_root->d_sb->__s_d_op->d_unalias_trylock | 0,6635409759016140800 |
| PARAM_VALUE | 0 | dev->cmd.dbg.dbg_root->d_sb->__s_d_op->d_unalias_unlock | 0,6336447517789900800 |
| PARAM_VALUE | 0 | dev->cmd.dbg.dbg_root->d_sb->__s_d_op->d_weak_revalidate | 0,1549882712720502784,5632434648052031488,5669063523602272256,7231033168839651328 |
| PARAM_VALUE | 0 | dev->cmd.ent_arr | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->cmd.pool->lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | dev->cmd.pool->size | 0-4294967295 |
| PARAM_VALUE | 0 | dev->cmd.vars.pages_sem.first_waiter->up | 0-1 |
| PARAM_VALUE | 0 | dev->cmd.vars.sem.first_waiter->up | 0-1 |
| PARAM_VALUE | 0 | dev->cmd.vars.throttle_sem.first_waiter->up | 0-1 |
| PARAM_VALUE | 0 | dev->cmd.vars.unprivileged_sem.first_waiter->up | 0-1 |
| PARAM_VALUE | 0 | dev->pdev->bus->self->link_bwctrl->cdev | 0-s64max |
| PARAM_VALUE | 0 | dev->priv.bfreg.up->mdev->cmd.vars.throttle_sem.first_waiter->up | 0-1 |
| PARAM_VALUE | 0 | dev->priv.bfreg.up->mdev->cmd.vars.unprivileged_sem.first_waiter->up | 0-1 |
| PARAM_VALUE | 0 | dev->priv.dbg.cq_debugfs->d_sb->__s_d_op->d_automount | 0,2908707185815040000,3401111987815645184,6746145930460459008,7190988915944083456,7386785427940065280,8018779550845526016 |
| PARAM_VALUE | 0 | dev->priv.dbg.cq_debugfs->d_sb->__s_d_op->d_init | 0,2385819921126617088,7057831443282669568,7824184004865302528 |
| PARAM_VALUE | 0 | dev->priv.dbg.cq_debugfs->d_sb->__s_d_op->d_iput | 0,170374395438985216,837750826476904448,5086081384299388928,8216155483032948736 |
| PARAM_VALUE | 0 | dev->priv.dbg.cq_debugfs->d_sb->__s_d_op->d_manage | 0,1859587847549206528 |
| PARAM_VALUE | 0 | dev->priv.dbg.cq_debugfs->d_sb->__s_d_op->d_prune | 0,2225594340392566784,7225953709177749504 |
| PARAM_VALUE | 0 | dev->priv.dbg.cq_debugfs->d_sb->__s_d_op->d_real | 0,4509355519306412032 |
| PARAM_VALUE | 0 | dev->priv.dbg.cq_debugfs->d_sb->__s_d_op->d_unalias_trylock | 0,6635409759016140800 |
| PARAM_VALUE | 0 | dev->priv.dbg.cq_debugfs->d_sb->__s_d_op->d_unalias_unlock | 0,6336447517789900800 |
| PARAM_VALUE | 0 | dev->priv.dbg.cq_debugfs->d_sb->__s_d_op->d_weak_revalidate | 0,1549882712720502784,5632434648052031488,5669063523602272256,7231033168839651328 |
| PARAM_VALUE | 0 | dev->priv.dbg.dbg_root->d_inode->i_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | dev->priv.dbg.dbg_root->d_inode->i_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | dev->priv.dbg.dbg_root->d_sb->__s_d_op->d_automount | 0,2908707185815040000,3401111987815645184,6746145930460459008,7190988915944083456,7386785427940065280,8018779550845526016 |
| PARAM_VALUE | 0 | dev->priv.dbg.dbg_root->d_sb->__s_d_op->d_init | 0,2385819921126617088,7057831443282669568,7824184004865302528 |
| PARAM_VALUE | 0 | dev->priv.dbg.dbg_root->d_sb->__s_d_op->d_iput | 0,170374395438985216,837750826476904448,5086081384299388928,8216155483032948736 |
| PARAM_VALUE | 0 | dev->priv.dbg.dbg_root->d_sb->__s_d_op->d_manage | 0,1859587847549206528 |
| PARAM_VALUE | 0 | dev->priv.dbg.dbg_root->d_sb->__s_d_op->d_prune | 0,2225594340392566784,7225953709177749504 |
| PARAM_VALUE | 0 | dev->priv.dbg.dbg_root->d_sb->__s_d_op->d_real | 0,4509355519306412032 |
| PARAM_VALUE | 0 | dev->priv.dbg.dbg_root->d_sb->__s_d_op->d_unalias_trylock | 0,6635409759016140800 |
| PARAM_VALUE | 0 | dev->priv.dbg.dbg_root->d_sb->__s_d_op->d_unalias_unlock | 0,6336447517789900800 |
| PARAM_VALUE | 0 | dev->priv.dbg.dbg_root->d_sb->__s_d_op->d_weak_revalidate | 0,1549882712720502784,5632434648052031488,5669063523602272256,7231033168839651328 |
| PARAM_VALUE | 0 | dev->priv.dbg.eq_debugfs->d_inode->i_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | dev->priv.dbg.eq_debugfs->d_inode->i_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | dev->priv.dbg.eq_debugfs->d_sb->__s_d_op->d_automount | 0,2908707185815040000,3401111987815645184,6746145930460459008,7190988915944083456,7386785427940065280,8018779550845526016 |
| PARAM_VALUE | 0 | dev->priv.dbg.eq_debugfs->d_sb->__s_d_op->d_init | 0,2385819921126617088,7057831443282669568,7824184004865302528 |
| PARAM_VALUE | 0 | dev->priv.dbg.eq_debugfs->d_sb->__s_d_op->d_iput | 0,170374395438985216,837750826476904448,5086081384299388928,8216155483032948736 |
| PARAM_VALUE | 0 | dev->priv.dbg.eq_debugfs->d_sb->__s_d_op->d_manage | 0,1859587847549206528 |
| PARAM_VALUE | 0 | dev->priv.dbg.eq_debugfs->d_sb->__s_d_op->d_prune | 0,2225594340392566784,7225953709177749504 |
| PARAM_VALUE | 0 | dev->priv.dbg.eq_debugfs->d_sb->__s_d_op->d_real | 0,4509355519306412032 |
| PARAM_VALUE | 0 | dev->priv.dbg.eq_debugfs->d_sb->__s_d_op->d_unalias_trylock | 0,6635409759016140800 |
| PARAM_VALUE | 0 | dev->priv.dbg.eq_debugfs->d_sb->__s_d_op->d_unalias_unlock | 0,6336447517789900800 |
| PARAM_VALUE | 0 | dev->priv.dbg.eq_debugfs->d_sb->__s_d_op->d_weak_revalidate | 0,1549882712720502784,5632434648052031488,5669063523602272256,7231033168839651328 |
| PARAM_VALUE | 0 | dev->priv.dbg.pages_debugfs->d_inode->i_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | dev->priv.dbg.pages_debugfs->d_inode->i_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | dev->priv.dbg.pages_debugfs->d_sb->__s_d_op->d_automount | 0,2908707185815040000,3401111987815645184,6746145930460459008,7190988915944083456,7386785427940065280,8018779550845526016 |
| PARAM_VALUE | 0 | dev->priv.dbg.pages_debugfs->d_sb->__s_d_op->d_init | 0,2385819921126617088,7057831443282669568,7824184004865302528 |
| PARAM_VALUE | 0 | dev->priv.dbg.pages_debugfs->d_sb->__s_d_op->d_iput | 0,170374395438985216,837750826476904448,5086081384299388928,8216155483032948736 |
| PARAM_VALUE | 0 | dev->priv.dbg.pages_debugfs->d_sb->__s_d_op->d_manage | 0,1859587847549206528 |
| PARAM_VALUE | 0 | dev->priv.dbg.pages_debugfs->d_sb->__s_d_op->d_prune | 0,2225594340392566784,7225953709177749504 |
| PARAM_VALUE | 0 | dev->priv.dbg.pages_debugfs->d_sb->__s_d_op->d_real | 0,4509355519306412032 |
| PARAM_VALUE | 0 | dev->priv.dbg.pages_debugfs->d_sb->__s_d_op->d_unalias_trylock | 0,6635409759016140800 |
| PARAM_VALUE | 0 | dev->priv.dbg.pages_debugfs->d_sb->__s_d_op->d_unalias_unlock | 0,6336447517789900800 |
| PARAM_VALUE | 0 | dev->priv.dbg.pages_debugfs->d_sb->__s_d_op->d_weak_revalidate | 0,1549882712720502784,5632434648052031488,5669063523602272256,7231033168839651328 |
| PARAM_VALUE | 0 | *dev->caps.pcam | 0-4294967295 |
| PARAM_VALUE | 0 | *dev->caps.qcam | 0-4294967295 |
| PARAM_VALUE | 0 | *dev->pdev->saved_config_space | 0-4294967295 |
| BUF_SIZE | 0 | dev | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | dev | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | dev->device | (-1),1616 |
| DATA_SOURCE | 0 | dev | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 0 | dev->caps.embedded_cpu | 0-1 |
| HOST_DATA | 0 | dev->cmd.vars.log_stride | 0-15 |
| HOST_DATA | 0 | dev->cmd.vars.log_sz | 0-15[c] |
| HOST_DATA | 0 | dev->pdev->acs_capabilities | 0-u16max |
| HOST_DATA | 0 | dev->pdev->bus->bridge_ctl | 0-u16max |
| HOST_DATA | 0 | dev->pdev->bus->parent->bridge_ctl | 0-u16max |
| HOST_DATA | 0 | dev->pdev->class | 0-16777215 |
| HOST_DATA | 0 | dev->pdev->current_state | 0-3[c] |
| HOST_DATA | 0 | dev->pdev->devcap | 0-u32max |
| HOST_DATA | 0 | dev->pdev->devfn | 0-503[c] |
| HOST_DATA | 0 | dev->pdev->device | 0-u16max |
| HOST_DATA | 0 | dev->pdev->eetlp_prefix_max | 0-7[c] |
| HOST_DATA | 0 | dev->pdev->fm_enabled | 0-1[c] |
| HOST_DATA | 0 | dev->pdev->hdr_type | 0-255[c] |
| HOST_DATA | 0 | dev->pdev->ide_cfg | 0-1[c] |
| HOST_DATA | 0 | dev->pdev->ide_tee_limit | 0-1[c] |
| HOST_DATA | 0 | dev->pdev->irq | 0-255 |
| HOST_DATA | 0 | dev->pdev->is_cxl | 0-1 |
| HOST_DATA | 0 | dev->pdev->multifunction | 0-1[c] |
| HOST_DATA | 0 | dev->pdev->nr_ide_mem | 0-255[c] |
| HOST_DATA | 0 | dev->pdev->pcie_flags_reg | 0-u16max |
| HOST_DATA | 0 | dev->pdev->pcie_mpss | 0-7[c] |
| HOST_DATA | 0 | dev->pdev->physfn->acs_capabilities | 0-u16max |
| HOST_DATA | 0 | dev->pdev->physfn->bus->bridge_ctl | 0-u16max |
| HOST_DATA | 0 | dev->pdev->physfn->class | 0-16777215 |
| HOST_DATA | 0 | dev->pdev->physfn->current_state | 0-3[c] |
| HOST_DATA | 0 | dev->pdev->physfn->devcap | 0-u32max |
| HOST_DATA | 0 | dev->pdev->physfn->devfn | 1-503[c] |
| HOST_DATA | 0 | dev->pdev->physfn->device | 0-u16max |
| HOST_DATA | 0 | dev->pdev->physfn->eetlp_prefix_max | 0-7[c] |
| HOST_DATA | 0 | dev->pdev->physfn->fm_enabled | 0-1[c] |
| HOST_DATA | 0 | dev->pdev->physfn->hdr_type | 0-255[c] |
| HOST_DATA | 0 | dev->pdev->physfn->ide_cfg | 0-1[c] |
| HOST_DATA | 0 | dev->pdev->physfn->ide_tee_limit | 0-1[c] |
| HOST_DATA | 0 | dev->pdev->physfn->irq | 0-255 |
| HOST_DATA | 0 | dev->pdev->physfn->is_cxl | 0-1 |
| HOST_DATA | 0 | dev->pdev->physfn->multifunction | 0-1[c] |
| HOST_DATA | 0 | dev->pdev->physfn->nr_ide_mem | 0-255[c] |
| HOST_DATA | 0 | dev->pdev->physfn->pcie_flags_reg | 0-u16max |
| HOST_DATA | 0 | dev->pdev->physfn->pcie_mpss | 0-7[c] |
| HOST_DATA | 0 | dev->pdev->physfn->pin | 0 |
| HOST_DATA | 0 | dev->pdev->physfn->ptm_granularity | 0-255[c] |
| HOST_DATA | 0 | dev->pdev->physfn->revision | 0-255 |
| HOST_DATA | 0 | dev->pdev->physfn->subsystem_device | 0-u16max |
| HOST_DATA | 0 | dev->pdev->physfn->subsystem_vendor | 0-u16max |
| HOST_DATA | 0 | dev->pdev->physfn->supported_speeds | 0,2-254[c] |
| HOST_DATA | 0 | dev->pdev->physfn->transparent | 0[c] |
| HOST_DATA | 0 | dev->pdev->physfn->vendor | 0-u16max |
| HOST_DATA | 0 | dev->pdev->pin | 0 |
| HOST_DATA | 0 | dev->pdev->pme_support | 0-31[c] |
| HOST_DATA | 0 | dev->pdev->ptm_granularity | 0-255[c] |
| HOST_DATA | 0 | dev->pdev->revision | 0-255 |
| HOST_DATA | 0 | dev->pdev->subsystem_device | 0-u16max |
| HOST_DATA | 0 | dev->pdev->subsystem_vendor | 0-u16max |
| HOST_DATA | 0 | dev->pdev->supported_speeds | 0,2-254[c] |
| HOST_DATA | 0 | dev->pdev->transparent | 0[c] |
| HOST_DATA | 0 | dev->pdev->vendor | 0-u16max |
| HOST_DATA | 0 | *dev->pdev->dev.driver_data | s64min-s64max |
| HOST_DATA | 0 | *dev->pdev->physfn->dev.driver_data | s64min-s64max |
| NO_OVERFLOW_SIMPLE | 0 | dev->cmd.pool->allocation | |
| NO_OVERFLOW_SIMPLE | 0 | dev->cmd.pool->dev->cma_area->available_count | |
| NO_OVERFLOW_SIMPLE | 0 | dev->priv.dbg.cq_debugfs->d_fsdata->d_fsdata | |
| NO_OVERFLOW_SIMPLE | 0 | dev->priv.eswitch->debugfs_root->d_fsdata->d_fsdata | |
| NO_OVERFLOW_SIMPLE | 0 | dev->priv.eswitch->dev->cmd.pool->allocation | |
| NO_OVERFLOW_SIMPLE | 0 | dev->priv.eswitch->fdb_table.legacy.vepa_star_rule | |
| NO_OVERFLOW_SIMPLE | 0 | dev->priv.eswitch->fdb_table.legacy.vepa_uplink_rule | |
| NO_OVERFLOW_SIMPLE | 0 | dev->priv.eswitch->fdb_table.offloads.drop_root_fc | |
| NO_OVERFLOW_SIMPLE | 0 | dev->priv.eswitch->fdb_table.offloads.drop_root_fc->bulk | |
| NO_OVERFLOW_SIMPLE | 0 | dev->priv.eswitch->fdb_table.offloads.drop_root_rule | |
| NO_OVERFLOW_SIMPLE | 0 | dev->priv.eswitch->fdb_table.offloads.esw_chains_priv | |
| NO_OVERFLOW_SIMPLE | 0 | dev->priv.eswitch->fdb_table.offloads.indir | |
| NO_OVERFLOW_SIMPLE | 0 | dev->priv.eswitch->fdb_table.offloads.miss_rule_multi | |
| NO_OVERFLOW_SIMPLE | 0 | dev->priv.eswitch->fdb_table.offloads.miss_rule_uni | |
| NO_OVERFLOW_SIMPLE | 0 | dev->priv.eswitch->offloads.vport_rx_drop_rule | |
| NO_OVERFLOW_SIMPLE | 0 | dev->priv.events->wq->rescuer->task->dl.dl_runtime | |
| NO_OVERFLOW_SIMPLE | 0 | dev->priv.pg_wq->rescuer->task->dl.dl_runtime | |
| NO_OVERFLOW_SIMPLE | 0 | dev->tracer->dev->cmd.pool->allocation | |
| UNITS | 0 | dev | unit_byte |
| HALF_LOCKED2 | 0 | &dev->cmd.vars.throttle_sem | |
| HALF_LOCKED2 | 0 | &dev->cmd.vars.unprivileged_sem | |
| HALF_LOCKED2 | 0 | &dev->intf_state_mutex |
ipc/msg.c do_msgrcv() -> free_msg()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| BUF_SIZE | 0 | dev | (-1)-0,48-4096 |
| BUF_SIZE | 0 | dev | (-1)-0,48-4096 |
| CAPPED_DATA | 0 | dev->m_ts | 1 |
| NOCHECK_CALL |
ipc/msg.c do_msgsnd() -> free_msg()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->m_ts | 0-u32max |
| PARAM_VALUE | 0 | dev->m_type | 1-s64max |
| BUF_SIZE | 0 | dev | 48-4096 |
| BUF_SIZE | 0 | dev | 48-4096 |
| CAPPED_DATA | 0 | dev->m_ts | 1 |
| CAPPED_DATA | 0 | dev->m_type | 1 |
| DATA_SOURCE | 0 | dev | r load_msg |
| NOSPEC | 0 | dev->m_ts | |
| NOCHECK_CALL | |||
| USER_DATA | 0 | dev->m_ts | 0-s32max[c] |
| USER_DATA | 0 | dev->m_type | 1-s64max[c] |
ipc/msg.c free_copy() -> free_msg()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->m_ts | 0-u32max |
| PARAM_VALUE | 0 | dev->next | 0 |
| PARAM_VALUE | 0 | dev->security | 0,4096-ptr_max |
| BUF_SIZE | 0 | dev | 0,48-4096 |
| BUF_SIZE | 0 | dev | 0,48-4096 |
| DATA_SOURCE | 0 | dev | $0 |
| NOCHECK_CALL | |||
| USER_DATA | 0 | dev->m_ts | 0-s32max[c] |
ipc/msg.c freeque() -> free_msg()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| CAPPED_DATA | 0 | &dev->m_list | 1 |
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &ids->rwsem | ||
| HALF_LOCKED2 | &ipcp->lock | ||
| HALF_LOCKED2 | &msq->q_perm.lock | ||
| HALF_LOCKED2 | &pool->lock |
ipc/msgutil.c alloc_msg() -> free_msg()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->next | 0 |
| PARAM_VALUE | 0 | dev->security | 0 |
| BUF_SIZE | 0 | dev | 48-4096 |
| BUF_SIZE | 0 | dev | 48-4096 |
| DATA_SOURCE | 0 | dev | r __kmalloc_node_noprof |
| NOCHECK_CALL |
ipc/msgutil.c load_msg() -> free_msg()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->next | 0 |
| PARAM_VALUE | 0 | dev->security | 0 |
| BUF_SIZE | 0 | dev | 48-4096 |
| BUF_SIZE | 0 | dev | 48-4096 |
| DATA_SOURCE | 0 | dev | r alloc_msg |
| NOCHECK_CALL |
ipc/mqueue.c do_mq_timedreceive() -> free_msg()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &info->lock |
ipc/mqueue.c do_mq_timedsend() -> free_msg()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->m_type | 0-s16max |
| BUF_SIZE | 0 | dev | 48-4096 |
| BUF_SIZE | 0 | dev | 48-4096 |
| CAPPED_DATA | 0 | dev->m_ts | 1 |
| DATA_SOURCE | 0 | dev | r load_msg |
| NOSPEC | 0 | dev->m_ts | |
| NOCHECK_CALL | |||
| USER_DATA | 0 | dev->m_ts | 0-s32max[c] |
| USER_DATA | 0 | dev->m_type | 0-s16max |
| HALF_LOCKED2 | &info->lock |
ipc/mqueue.c mqueue_evict_inode() -> free_msg()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |