Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/firmware/microchip/mpfs-auto-update.c mpfs_auto_update_probe() -> mpfs_auto_update_available()

Type Parameter Key Value
PARAM_VALUE 0 priv 4096-ptr_max
PARAM_VALUE 0 priv->dev 4096-ptr_max
PARAM_VALUE 0 priv->dev->devres_head.prev 4096-ptr_max
PARAM_VALUE 0 priv->dev->parent 4096-ptr_max
PARAM_VALUE 0 priv->flash 1-ptr_max
PARAM_VALUE 0 priv->sys_controller 4096-ptr_max
PARAM_VALUE 0 priv->sys_controller->consumers.refcount.refs.counter (-1073741824),0-s32max
BUF_SIZE 0 priv 48
BUF_SIZE 0 priv->dev 1616
BUF_SIZE 0 priv->sys_controller s32min-(-2),1-s32max
DATA_SOURCE 0 priv r devm_kzalloc
PARAM_COMPARE 0 priv->flash == $0->sys_controller->flash
MEM_ZERO 0 priv
RX_PATH
TASK_NOT_RUNNING