Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/net/fjes/fjes_main.c acpi_find_extended_socket_device() -> is_extended_socket_device()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | device | 1-u64max |
| DATA_SOURCE | 0 | device | r acpi_get_acpi_dev |
| RX_PATH | |||
| TASK_NOT_RUNNING |