Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/net/wireless/marvell/libertas/cmd.c lbs_execute_next_command() -> lbs_complete_command()

Type Parameter Key Value
PARAM_VALUE 0 priv 4096-ptr_max
PARAM_VALUE 0 priv->cmdpendingq.next 4096-ptr_max
PARAM_VALUE 0 priv->cur_cmd 0
PARAM_VALUE 0 priv->driver_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 priv->psstate 1-u32max
PARAM_VALUE 1 cmd 4096-ptr_max
PARAM_VALUE 1 cmd->cmdbuf 4096-ptr_max
PARAM_VALUE 1 cmd->cmdbuf->command 33
PARAM_VALUE 2 result 0
CAPPED_DATA 0 &priv->cmdpendingq 1
DATA_SOURCE 0 priv $0
PARAM_COMPARE 0 &priv->cmdpendingq != $0->cmdpendingq.next
NOCHECK_CALL

drivers/net/wireless/marvell/libertas/cmd.c lbs_execute_next_command() -> lbs_complete_command()

Type Parameter Key Value
PARAM_VALUE 0 priv 4096-ptr_max
PARAM_VALUE 0 priv->cmdpendingq.next 4096-ptr_max
PARAM_VALUE 0 priv->cur_cmd 0
PARAM_VALUE 0 priv->driver_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 priv->psstate 2-3
PARAM_VALUE 1 cmd 4096-ptr_max
PARAM_VALUE 1 cmd->cmdbuf 4096-ptr_max
PARAM_VALUE 1 cmd->cmdbuf->command 33
PARAM_VALUE 2 result 0
CAPPED_DATA 0 &priv->cmdpendingq 1
DATA_SOURCE 0 priv $0
FUZZY_MAX 0 priv->psstate 3
PARAM_COMPARE 0 &priv->cmdpendingq != $0->cmdpendingq.next
BIT_INFO 0 priv->psstate 0x2,0x3
NOCHECK_CALL

drivers/net/wireless/marvell/libertas/cmd.c lbs_submit_command() -> lbs_complete_command()

Type Parameter Key Value
PARAM_VALUE 0 priv 4096-ptr_max
PARAM_VALUE 0 priv->cmdpendingq.next 4096-ptr_max
PARAM_VALUE 0 priv->cur_cmd 4096-ptr_max
PARAM_VALUE 0 priv->cur_cmd->cmdbuf 4096-ptr_max
PARAM_VALUE 0 priv->dev 0,4096-ptr_max
PARAM_VALUE 0 priv->dev->dev.parent 0,4096-ptr_max
PARAM_VALUE 0 priv->dnld_sent 0
PARAM_VALUE 0 priv->driver_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 priv->psstate 0-1,4-u32max
PARAM_VALUE 0 *priv->dev->name 0
PARAM_VALUE 1 cmd 4096-ptr_max
PARAM_VALUE 1 cmd->cmdbuf 4096-ptr_max
PARAM_VALUE 1 cmd->list.next->prev 4096-ptr_max
PARAM_VALUE 1 cmd->list.prev->next 4096-ptr_max
PARAM_VALUE 2 result s32min-(-1),1-s32max
DATA_SOURCE 0 priv $0
DATA_SOURCE 1 cmd $1
NOCHECK_CALL

drivers/net/wireless/marvell/libertas/cmd.c lbs_submit_command() -> lbs_complete_command()

Type Parameter Key Value
PARAM_VALUE 0 priv 4096-ptr_max
PARAM_VALUE 0 priv->cmdpendingq.next 4096-ptr_max
PARAM_VALUE 0 priv->cur_cmd 0,4096-ptr_max
PARAM_VALUE 0 priv->cur_cmd->cmdbuf 4096-ptr_max
PARAM_VALUE 0 priv->dnld_sent 0-2
PARAM_VALUE 0 priv->driver_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 priv->is_deep_sleep 1
PARAM_VALUE 0 priv->psstate 0-1,4-u32max
PARAM_VALUE 0 *priv->dev->name 0-255
PARAM_VALUE 1 cmd 4096-ptr_max
PARAM_VALUE 1 cmd->cmdbuf 4096-ptr_max
PARAM_VALUE 1 cmd->list.next->prev 4096-ptr_max
PARAM_VALUE 1 cmd->list.prev->next 4096-ptr_max
PARAM_VALUE 2 result 0
DATA_SOURCE 0 priv $0
DATA_SOURCE 1 cmd $1
FUZZY_MAX 0 priv->dnld_sent 0
NOCHECK_CALL

drivers/net/wireless/marvell/libertas/main.c lbs_thread() -> lbs_complete_command()

Type Parameter Key Value
PARAM_VALUE 0 priv 4096-ptr_max
PARAM_VALUE 0 priv->cmd_timed_out s32min-(-1),1-s32max
PARAM_VALUE 0 priv->cur_cmd 4096-ptr_max
PARAM_VALUE 0 priv->cur_cmd->cmdbuf 4096-ptr_max
PARAM_VALUE 0 priv->driver_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 priv->resp_len 4096-ptr_max
PARAM_VALUE 0 priv->surpriseremoved 0
PARAM_VALUE 0 priv->waitq.lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 *priv->dev->name 0-255
PARAM_VALUE 1 cmd 4096-ptr_max
PARAM_VALUE 1 cmd->cmdbuf 4096-ptr_max
PARAM_VALUE 2 result (-110)
BUF_SIZE 0 priv s32min-(-2),1-s32max
BUF_SIZE 0 priv s32min-(-2),1-s32max
NOCHECK_CALL