Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/input/rmi4/rmi_f3a.c rmi_f3a_attention() -> rmi_f3a_report_button()

Type Parameter Key Value
PARAM_VALUE 0 fn 4096-ptr_max
PARAM_VALUE 0 fn->rmi_dev 4096-ptr_max
PARAM_VALUE 0 fn->rmi_dev->xport 4096-ptr_max
PARAM_VALUE 0 fn->rmi_dev->xport->ops 4096-ptr_max
PARAM_VALUE 0 fn->rmi_dev->xport->ops->read_block 4096-ptr_max
PARAM_VALUE 1 f3a 4096-ptr_max
PARAM_VALUE 1 f3a->gpio_count 1-127
PARAM_VALUE 1 f3a->gpio_key_map 4096-ptr_max
PARAM_VALUE 1 f3a->register_count 0-16
PARAM_VALUE 2 button 0-254
BUF_SIZE 1 f3a s32min-(-2),1-s32max
BUF_SIZE 1 f3a s32min-(-2),1-s32max
CAPPED_DATA 2 button 1
DATA_SOURCE 0 fn $1
PARAM_COMPARE 1 f3a == $0->dev.driver_data
PARAM_COMPARE 1 f3a == $0->dev.driver_data
PARAM_COMPARE 1 f3a->gpio_count > $2
PARAM_COMPARE 2 button < $1->gpio_count
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 1 f3a unit_byte
UNITS 2 button unit_array_size