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_irq3_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.timer.entry->pprev 4096-ptr_max
PARAM_VALUE 0 info->max_charging_time_work.work.lockdep_map->name 0-255
PARAM_VALUE 0 info->pwr_rdy_work.timer.entry->pprev 4096-ptr_max
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 1 _alert_userspace 9194400118096900096
CAPPED_DATA 0 info->client->irq 1
DATA_SOURCE 0 info $1
RX_PATH
TASK_NOT_RUNNING