Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/dsa/netc/netc_main.c netc_init_ntmp_user() -> netc_init_ntmp_bitmaps()

Type Parameter Key Value
PARAM_VALUE 0 priv 4096-ptr_max
PARAM_VALUE 0 priv->dev->devres_head.prev 4096-ptr_max
PARAM_VALUE 0 priv->dev->devres_head.prev->next 4096-ptr_max
PARAM_VALUE 0 priv->dev->devres_head.prev->next->next 4096-ptr_max
PARAM_VALUE 0 priv->ds 4096-ptr_max
PARAM_VALUE 0 priv->ds->index 1-u32max
PARAM_VALUE 0 priv->info 4096-ptr_max
PARAM_VALUE 0 priv->info->num_ports 4
PARAM_VALUE 0 priv->ntmp.ect_bitmap_size 1-u32max
PARAM_VALUE 0 priv->ntmp.ett_bitmap_size 1-u32max
PARAM_VALUE 0 priv->ntmp.tbl.bpt_ver 0
PARAM_VALUE 0 priv->ntmp.tbl.ect_ver 0
PARAM_VALUE 0 priv->ntmp.tbl.ett_ver 0
PARAM_VALUE 0 priv->ntmp.tbl.fdbt_ver 0
PARAM_VALUE 0 priv->ntmp.tbl.ipft_ver 0
PARAM_VALUE 0 priv->ntmp.tbl.maft_ver 0
PARAM_VALUE 0 priv->ntmp.tbl.rsst_ver 0
PARAM_VALUE 0 priv->ntmp.tbl.vft_ver 0
PARAM_VALUE 0 priv->ports 4096-ptr_max
PARAM_VALUE 0 priv->regs.base 4096-ptr_max
PARAM_VALUE 0 *priv->ports 4096-ptr_max
BUF_SIZE 0 priv s32min-(-2),1-s32max
BUF_SIZE 0 priv s32min-(-2),1-s32max
CAPPED_DATA 0 priv->ds 1
CAPPED_DATA 0 priv->ds->index 1
DATA_SOURCE 0 priv $0
MEM_ZERO 0 &priv->ntmp.tbl
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 priv->info->num_ports
UNITS 0 priv unit_byte
HALF_LOCKED2 global &dsa2_mutex