Open Menu /

Defined in 1 files as a prototype:

Defined in 2 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/power/supply/power_supply_core.c power_supply_register_extension() -> power_supply_sysfs_remove_extension()

Type Parameter Key Value
PARAM_VALUE 0 psy 4096-ptr_max
PARAM_VALUE 0 psy->changed 1
PARAM_VALUE 0 psy->changed_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 psy->desc 4096-ptr_max
PARAM_VALUE 0 psy->desc->num_properties 0-s32max
PARAM_VALUE 0 psy->dev.devres_head.prev->next 4096-ptr_max
PARAM_VALUE 0 psy->dev.devres_head.prev->next->next 4096-ptr_max
PARAM_VALUE 0 psy->dev.devres_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 psy->dev.kobj.release.wq->dfl_pwq 0-s64max
PARAM_VALUE 0 psy->dev.kobj.release.wq->saved_max_active s32min-s32max
PARAM_VALUE 0 psy->dev.kobj.release.wq->saved_min_active s32min-s32max
PARAM_VALUE 0 psy->dev.kobj.sd->__parent 0
PARAM_VALUE 0 psy->extensions.next 4096-ptr_max
PARAM_VALUE 0 psy->extensions.next->next 4096-ptr_max
PARAM_VALUE 0 psy->extensions.next->prev 4096-ptr_max
PARAM_VALUE 0 psy->update_groups 1
PARAM_VALUE 1 ext 4096-ptr_max
PARAM_VALUE 1 ext->name 4096-ptr_max
PARAM_VALUE 1 ext->num_properties 1-3,5
PARAM_VALUE 1 ext->properties 4096-ptr_max
CAPPED_DATA 0 psy->desc->num_properties 1
CAPPED_DATA 0 &psy->extensions 1
CAPPED_DATA 1 ext->num_properties 1
DATA_SOURCE 0 psy $0
DATA_SOURCE 1 ext $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 _T->lock
HALF_LOCKED2 global &hook_mutex

drivers/power/supply/power_supply_core.c power_supply_unregister_extension() -> power_supply_sysfs_remove_extension()

Type Parameter Key Value
CAPPED_DATA 0 &psy->extensions 1
CAPPED_DATA 1 ext 1
DATA_SOURCE 0 psy $0
DATA_SOURCE 1 ext $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 _T->lock
HALF_LOCKED2 global &hook_mutex