Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/platform/x86/lenovo/thinkpad_acpi.c ibm_init() -> ibm_exit()

Type Parameter Key Value
PARAM_VALUE 0 ibm 4096-ptr_max
PARAM_VALUE 0 ibm->acpi 0,4096-ptr_max
PARAM_VALUE 0 ibm->acpi->handle 0,4096-ptr_max
PARAM_VALUE 0 ibm->acpi->notify 0,1707777562836852736
PARAM_VALUE 0 ibm->acpi->type 0-3
PARAM_VALUE 0 ibm->all_drivers.next 4096-ptr_max
PARAM_VALUE 0 ibm->all_drivers.next->next 4096-ptr_max
PARAM_VALUE 0 ibm->all_drivers.prev 4096-ptr_max
PARAM_VALUE 0 ibm->all_drivers.prev->next 4096-ptr_max
PARAM_VALUE 0 ibm->all_drivers.prev->prev 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 *ibm->acpi->handle->object->string.length

drivers/platform/x86/lenovo/thinkpad_acpi.c tpacpi_subdrivers_release() -> ibm_exit()

Type Parameter Key Value
PARAM_VALUE 0 ibm 4096-ptr_max
CAPPED_DATA 0 &ibm->all_drivers 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL