Defined in 2 files as a function:
Referenced in 4 files:
- arch/powerpc/mm/drmem.c, line 59
- arch/powerpc/platforms/pseries/hotplug-memory.c, line 50
- drivers/of/dynamic.c, line 442
- drivers/of/overlay.c, line 273
Smatch caller information:
drivers/of/overlay.c dup_and_fixup_symbol_prop() -> of_property_set_flag()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | p | 4096-ptr_max |
| PARAM_VALUE | 1 | flag | 1 |
| BUF_SIZE | 0 | p | 136 |
| BUF_SIZE | 0 | p->value | 1-2020203 |
| CAPPED_DATA | 0 | p->length | 1 |
| DATA_SOURCE | 0 | p | r _kzalloc_noprof |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | global &of_mutex | ||
| LOCK2 | global &of_overlay_phandle_mutex |
drivers/of/dynamic.c __of_prop_dup() -> of_property_set_flag()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | p | 4096-ptr_max |
| PARAM_VALUE | 1 | flag | 1 |
| BUF_SIZE | 0 | p | 136 |
| BUF_SIZE | 0 | p->value | s32min-s32max |
| CAPPED_DATA | 0 | p->length | 1 |
| DATA_SOURCE | 0 | p | r _kzalloc_noprof |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | global &of_mutex |