Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/nvmem/brcm_nvram.c brcm_nvram_parse() -> brcm_nvram_add_cells()

Type Parameter Key Value
PARAM_VALUE 0 priv 4096-ptr_max
PARAM_VALUE 0 priv->data 4096-ptr_max
PARAM_VALUE 0 priv->data_len 20-u64max
PARAM_VALUE 0 priv->dev 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 1 data 4096-ptr_max
PARAM_VALUE 2 len 20-u32max
BUF_SIZE 0 priv 56
BUF_SIZE 0 priv->dev 1616
BUF_SIZE 1 data 20-s32max
CAPPED_DATA 2 len 1
CAPPED_DATA 2 len 1
DATA_SOURCE 0 priv $0
PARAM_COMPARE 2 len <= $0->data_len
PARAM_COMPARE 2 len <= $0->data_len
CONSTRAINT 2 len <=612
MEM_ZERO 0 priv
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 priv->ncells s32min-s32max
HOST_DATA 0 priv->nvmem_size 0-u64max
HOST_DATA 0 priv->padding_byte 0-255
HOST_DATA 0 *priv->data 0-255
HOST_DATA 1 *data 0-255
UNITS 2 len unit_byte