Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/input/rmi4/rmi_driver.c rmi_count_irqs() -> rmi_check_bootloader_mode()
| 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 | pdt | 7102216263839301632 |
| PARAM_VALUE | 1 | pdt->function_number | 1-254 |
| PARAM_VALUE | 1 | pdt->function_version | 0-3 |
| PARAM_VALUE | 1 | pdt->interrupt_source_count | 0-7 |
| PARAM_VALUE | 1 | pdt->page_start | 0,256-65280 |
| DATA_SOURCE | 0 | rmi_dev | $0 |
| DATA_SOURCE | 1 | pdt | $2 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &of->mutex |