Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/acpi/acpica/utdelete.c acpi_ut_update_ref_count() -> acpi_ut_delete_internal_obj()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | object | 4096-ptr_max |
| PARAM_VALUE | 0 | object->common.reference_count | 0 |
| BUF_SIZE | 0 | object | (-1)-s32max |
| BUF_SIZE | 0 | object | (-1)-s32max |
| BUF_SIZE | 0 | object->buffer.pointer | (-1)-s32max |
| BUF_SIZE | 0 | object->field.resource_buffer | s32min,(-10),(-1)-s32max |
| BUF_SIZE | 0 | object->method.aml_start | (-1)-s32max |
| BUF_SIZE | 0 | object->notify.context | (-1),16,24,40,56,108-1096,1384,1600,1616,1752,2072,2480,2576,7472,8064 |
| BUF_SIZE | 0 | object->string.pointer | (-1),1-s32max |
| DATA_SOURCE | 0 | object | $0 |
| STR_LEN | 0 | object->notify.node | (-1),14,24 |
| STR_LEN | 0 | object->string.pointer | (-1)-1010101 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | object->field.internal_pcc_buffer | |
| NO_OVERFLOW_SIMPLE | 0 | object->string.length |