Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/power/supply/rt9455_charger.c rt9455_irq_handler_thread() -> rt9455_irq_handler_check_irq2_register()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | info | 4096-ptr_max |
| PARAM_VALUE | 0 | info->batt_presence_work.timer.entry->pprev | 4096-ptr_max |
| PARAM_VALUE | 0 | info->client | 4096-ptr_max |
| PARAM_VALUE | 0 | info->max_charging_time_work.work.lockdep_map->name | 0-255 |
| PARAM_VALUE | 0 | info->regmap | 4096-ptr_max |
| PARAM_VALUE | 0 | info->regmap_fields | 4096-ptr_max |
| PARAM_VALUE | 0 | *info->regmap->cache->data | 0-4294967295 |
| PARAM_VALUE | 2 | _alert_userspace | 9194400118096900096 |
| CAPPED_DATA | 0 | info->client->irq | 1 |
| DATA_SOURCE | 0 | info | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING |