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_add_extension()

Type Parameter Key Value
PARAM_VALUE 0 psy 4096-ptr_max
PARAM_VALUE 0 psy->desc 4096-ptr_max
PARAM_VALUE 0 psy->desc->num_properties 0-s32max
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 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
PARAM_VALUE 2 dev 1-u64max
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
DATA_SOURCE 2 dev $2
RX_PATH
TASK_NOT_RUNNING
LOCK2 _T->lock
HALF_LOCKED2 global &hook_mutex