Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

drivers/input/rmi4/rmi_driver.c rmi_scan_pdt_page() -> rmi_scan_pdt_page param 4()

Type Parameter Key Value
PARAM_VALUE 0 rmi_dev 4096-ptr_max
PARAM_VALUE 0 rmi_dev->xport 4096-ptr_max
PARAM_VALUE 0 rmi_dev->xport->ops 4096-ptr_max
PARAM_VALUE 0 rmi_dev->xport->ops->read_block 4096-ptr_max
PARAM_VALUE 0 rmi_dev->xport->ops->reset 0,3381785480563384320,6734576065541279744
PARAM_VALUE 1 ctx 0,1039819783900770304,4686537874559746048
PARAM_VALUE 1 *ctx 0-s32max
PARAM_VALUE 2 pdt 7102216263839301632
PARAM_VALUE 2 pdt->function_number 1-254
PARAM_VALUE 2 pdt->function_version 0-3
PARAM_VALUE 2 pdt->interrupt_source_count 0-7
PARAM_VALUE 2 pdt->page_start 0,256-65280
BUF_SIZE 1 ctx (-1),4
BUF_SIZE 1 ctx (-1),4
DATA_SOURCE 0 rmi_dev $0
DATA_SOURCE 1 ctx $3
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &of->mutex