Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 2 files:
- drivers/power/supply/power_supply_hwmon.c, line 191
- drivers/power/supply/power_supply_sysfs.c, line 481
Smatch caller information:
drivers/power/supply/power_supply_hwmon.c power_supply_hwmon_is_visible() -> power_supply_property_is_writeable()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | psp | 9-10,13-14,17-19,21-22,53-60 |
| DATA_SOURCE | 1 | psp | r power_supply_hwmon_to_property |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &dev->mutex | ||
| HALF_LOCKED2 | &hdev->driver_input_lock | ||
| HALF_LOCKED2 | &mdev->intf_state_mutex | ||
| HALF_LOCKED2 | &pool->lock | ||
| HALF_LOCKED2 | &sp->mutex | ||
| HALF_LOCKED2 | _T->lock |
drivers/power/supply/power_supply_sysfs.c power_supply_attr_is_visible() -> power_supply_property_is_writeable()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | psy | 4096-ptr_max |
| PARAM_VALUE | 0 | psy->desc | 4096-ptr_max |
| PARAM_VALUE | 1 | psp | 0-64,66-s32max |
| CAPPED_DATA | 0 | psy->desc->num_properties | 1 |
| CAPPED_DATA | 1 | psp | 1 |
| DATA_SOURCE | 1 | psp | $2 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | _T->lock |