Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/acpi/acpi_dbg.c acpi_aml_write() -> acpi_aml_write_user()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | buf | 4096-ptr_max |
| PARAM_VALUE | 1 | len | 1-2147479552,18446744071562072065-u64max |
| DATA_SOURCE | 1 | len | $2 [m] |
| NOSPEC | 1 | len | |
| USER_DATA | 1 | len | 1-1000000000,18446744072709551617-u64max |