Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/input/misc/ims-pcu.c __ims_pcu_execute_command() -> ims_pcu_send_command()

Type Parameter Key Value
PARAM_VALUE 0 pcu 4096-ptr_max
PARAM_VALUE 0 pcu->cmd_done.done 0
PARAM_VALUE 0 pcu->cmd_done.wait.lock.magic 3735899821
PARAM_VALUE 0 pcu->cmd_done.wait.lock.owner (-1)
PARAM_VALUE 0 pcu->cmd_done.wait.lock.owner_cpu u32max
PARAM_VALUE 0 pcu->cmd_done.wait.task_list.next 4096-ptr_max
PARAM_VALUE 0 pcu->cmd_done.wait.task_list.next->next 4096-ptr_max
PARAM_VALUE 0 pcu->cmd_done.wait.task_list.prev 4096-ptr_max
PARAM_VALUE 0 pcu->cmd_done.wait.task_list.prev->next 4096-ptr_max
PARAM_VALUE 0 pcu->cmd_done.wait.task_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 pcu->data_intf->dev.power.wakeirq->status 0-4294967295
PARAM_VALUE 0 pcu->expected_response 0,194,197-198,200-201,203-204,206,209-211
PARAM_VALUE 1 command 161-162,164-166,168-169,171-172,174,177,179-180
PARAM_VALUE 3 len 0-2,6-125
BUF_SIZE 0 pcu s32min-(-1),1-s32max
BUF_SIZE 0 pcu s32min-(-1),1-s32max
BUF_SIZE 0 pcu->dev (-1),1616
BUF_SIZE 2 data (-1),2,126,128
DATA_SOURCE 0 pcu $0
DATA_SOURCE 1 command $1
DATA_SOURCE 2 data $2
DATA_SOURCE 3 len $3
STR_LEN 0 pcu->bl_version (-1),15
STR_LEN 0 pcu->fw_version (-1),15
BIT_INFO 0 pcu->expected_response 0x0,0xdf
HARD_MAX 1 command 180
RX_PATH
TASK_NOT_RUNNING
UNITS 0 pcu unit_byte
UNITS 3 len unit_byte
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 _T->lock