Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/acpi/acpica/rsxface.c acpi_get_current_resources() -> acpi_rs_validate_parameters()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | device_handle | 4096-ptr_max |
| PARAM_VALUE | 1 | buffer | 5439475058576642048,6348248708567183360 |
| PARAM_VALUE | 1 | buffer->length | 18446744073709551614 |
| PARAM_VALUE | 2 | return_node | 8184824697420656640 |
| DATA_SOURCE | 0 | device_handle | $0 |
| DATA_SOURCE | 1 | buffer | $1 |
| STR_LEN | 0 | device_handle | (-1),4 |
| STR_LEN | 0 | device_handle | (-1),4 |
| RX_PATH | |||
| TASK_NOT_RUNNING |
drivers/acpi/acpica/rsxface.c acpi_get_event_resources() -> acpi_rs_validate_parameters()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | device_handle | 4096-ptr_max |
| PARAM_VALUE | 1 | buffer | 6348248708567183360 |
| PARAM_VALUE | 1 | buffer->length | 16384 |
| PARAM_VALUE | 1 | buffer->pointer | 0,4096-ptr_max |
| PARAM_VALUE | 2 | return_node | 2610619939981750272 |
| DATA_SOURCE | 0 | device_handle | $0 |
| DATA_SOURCE | 1 | buffer | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING |
drivers/acpi/acpica/rsxface.c acpi_get_irq_routing_table() -> acpi_rs_validate_parameters()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | device_handle | 1-u64max |
| PARAM_VALUE | 1 | buffer | 6348248708567183360,8791715316809920512 |
| PARAM_VALUE | 1 | buffer->length | 16384,u64max |
| PARAM_VALUE | 1 | buffer->pointer | 0,4096-ptr_max |
| PARAM_VALUE | 2 | return_node | 5558415500862103552 |
| DATA_SOURCE | 0 | device_handle | $0 |
| DATA_SOURCE | 1 | buffer | $1 |
| HARD_MAX | 1 | buffer->length | u64max |
| RX_PATH | |||
| TASK_NOT_RUNNING |
drivers/acpi/acpica/rsxface.c acpi_get_possible_resources() -> acpi_rs_validate_parameters()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | device_handle | 4096-ptr_max |
| PARAM_VALUE | 1 | buffer | 6348248708567183360 |
| PARAM_VALUE | 1 | buffer->length | 16384 |
| PARAM_VALUE | 1 | buffer->pointer | 0,4096-ptr_max |
| PARAM_VALUE | 2 | return_node | 1740955954735427584 |
| DATA_SOURCE | 0 | device_handle | $0 |
| DATA_SOURCE | 1 | buffer | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING |
drivers/acpi/acpica/rsxface.c acpi_set_current_resources() -> acpi_rs_validate_parameters()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | buffer | 2063196763175002112,2805860601158823936,3185996606977671168,6348248708567183360 |
| PARAM_VALUE | 1 | buffer->length | 1-u64max |
| PARAM_VALUE | 1 | buffer->pointer | 1-u64max |
| PARAM_VALUE | 2 | return_node | 3113092854881779712 |
| DATA_SOURCE | 0 | device_handle | $0 |
| DATA_SOURCE | 1 | buffer | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING |