Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/firmware/google/vpd.c vpd_remove() -> vpd_section_destroy()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sec | 5792574669742592000 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &dev->mutex |
drivers/firmware/google/vpd.c vpd_remove() -> vpd_section_destroy()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sec | 5058228188044791808 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &dev->mutex |
drivers/firmware/google/vpd.c vpd_sections_init() -> vpd_section_destroy()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sec | 5792574669742592000 |
| PARAM_VALUE | 0 | sec->attribs.prev | 0,5058228188044791944,5792574669742592136 |
| PARAM_VALUE | 0 | sec->bin_attr.attr.mode | 0,292 |
| PARAM_VALUE | 0 | sec->bin_attr.private | 0,5058228188044791808,5792574669742592000 |
| PARAM_VALUE | 0 | sec->bin_attr.read | 0,9088646066845614080 |
| PARAM_VALUE | 0 | sec->bin_attr.size | 0-u32max |
| PARAM_VALUE | 0 | sec->kobj | 0,4096-ptr_max |
| PARAM_VALUE | 0 | sec->name | 0,431135138107260928 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |