Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/tty/serial/8250/8250_bcm7271.c brcmuart_probe() -> brcmuart_free_bufs()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->bus 0-ptr_max
PARAM_VALUE 0 dev->cma_area->nranges s32min-s32max
PARAM_VALUE 0 dev->devres_head.prev 4096-ptr_max
PARAM_VALUE 0 dev->devres_head.prev->next 4096-ptr_max
PARAM_VALUE 0 dev->devres_head.prev->next->next 4096-ptr_max
PARAM_VALUE 0 dev->dma_mem->pfn_base 0-s64max
PARAM_VALUE 0 dev->iommu->attach_deferred 0-1
PARAM_VALUE 0 dev->iommu->max_pasids 0-4294967295
PARAM_VALUE 1 priv 4096-ptr_max
PARAM_VALUE 1 priv->baud_mux_clk 0,4096-ptr_max
PARAM_VALUE 1 priv->default_mux_rate 0
PARAM_VALUE 1 priv->hrt._softexpires 0
PARAM_VALUE 1 priv->hrt.base 4096-ptr_max
PARAM_VALUE 1 priv->hrt.function 1-u64max
PARAM_VALUE 1 priv->hrt.is_queued 0
PARAM_VALUE 1 priv->hrt.is_rel 0
PARAM_VALUE 1 priv->hrt.node.expires 0
PARAM_VALUE 1 priv->hrt.node.node.next 0
PARAM_VALUE 1 priv->hrt.node.node.node.rb_left 0
PARAM_VALUE 1 priv->hrt.node.node.node.rb_right 0
PARAM_VALUE 1 priv->hrt.node.node.prev 0
PARAM_VALUE 1 priv->line 0
PARAM_VALUE 1 priv->rate_table 1-u64max
PARAM_VALUE 1 priv->regs 0
PARAM_VALUE 1 priv->rx_bufs 0-ptr_max
PARAM_VALUE 1 priv->rx_size 0,8192
PARAM_VALUE 1 priv->tx_buf 0-ptr_max
PARAM_VALUE 1 priv->tx_size 0,4096
PARAM_VALUE 1 priv->up 0,4096-ptr_max
PARAM_VALUE 1 *priv->real_rates 0-4294967295
BUF_SIZE 0 dev 1616
BUF_SIZE 1 priv 600
BUF_SIZE 1 priv->baud_mux_clk (-1)-s32max
BUF_SIZE 1 priv->rate_table (-1),16
BUF_SIZE 1 priv->rx_bufs 0,8192
BUF_SIZE 1 priv->tx_buf 0,4096
BUF_SIZE 1 priv->up 0,616
CAPPED_DATA 0 dev 1
DATA_SOURCE 1 priv r devm_kzalloc
FUZZY_MAX 1 priv->rx_size 8192
FUZZY_MAX 1 priv->tx_size 4096
HARD_MAX 1 priv->rx_size 8192
HARD_MAX 1 priv->tx_size 4096
MEM_ZERO 1 priv
MEM_ZERO 1 &priv->hrt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 1 priv->baud_mux_clk->core->parent->req_rate

drivers/tty/serial/8250/8250_bcm7271.c brcmuart_remove() -> brcmuart_free_bufs()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 1 priv 4096-ptr_max
PARAM_VALUE 1 priv->debugfs_dir 0,4096-u64max
PARAM_VALUE 1 priv->debugfs_dir->d_fsdata->management_timer.flags 0-4294967295
PARAM_VALUE 1 priv->debugfs_dir->d_inode->i_lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 priv->debugfs_dir->d_sb->s_fs_info->lookup_lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 priv->debugfs_dir->d_sb->s_roots_lock.rlock.dep_map->name 0-255
BUF_SIZE 1 priv s32min-(-2),1-s32max
BUF_SIZE 1 priv s32min-(-2),1-s32max
CAPPED_DATA 1 priv->debugfs_dir 1
CAPPED_DATA 1 priv->hrt.base 1
CAPPED_DATA 1 &priv->hrt 1
PARAM_COMPARE 1 &priv->hrt != $1->hrt.base->running
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 1 priv unit_byte
HALF_LOCKED2 &_dev->mutex