Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/acpi/acpi_ipmi.c ipmi_dev_release_kref() -> ipmi_dev_release()

Type Parameter Key Value
PARAM_VALUE 0 ipmi_device 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 global &smi_watchers_mutex

drivers/acpi/acpi_ipmi.c ipmi_register_bmc() -> ipmi_dev_release()

Type Parameter Key Value
PARAM_VALUE 0 ipmi_device 4096-ptr_max
PARAM_VALUE 0 ipmi_device->dev 0,4096-ptr_max
PARAM_VALUE 0 ipmi_device->handle 1-u64max
PARAM_VALUE 0 ipmi_device->head.next 4096-ptr_max
PARAM_VALUE 0 ipmi_device->head.next->next 4096-ptr_max
PARAM_VALUE 0 ipmi_device->head.prev 4096-ptr_max
PARAM_VALUE 0 ipmi_device->head.prev->next 4096-ptr_max
PARAM_VALUE 0 ipmi_device->head.prev->prev 4096-ptr_max
PARAM_VALUE 0 ipmi_device->kref.refcount.refs.counter 1
PARAM_VALUE 0 ipmi_device->tx_msg_list.next 4096-ptr_max
PARAM_VALUE 0 ipmi_device->tx_msg_list.next->next 4096-ptr_max
PARAM_VALUE 0 ipmi_device->tx_msg_list.prev 4096-ptr_max
PARAM_VALUE 0 ipmi_device->tx_msg_list.prev->next 4096-ptr_max
PARAM_VALUE 0 ipmi_device->tx_msg_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 ipmi_device->user_interface 4096-ptr_max
BUF_SIZE 0 ipmi_device 152
CAPPED_DATA 0 ipmi_device->ipmi_ifnum 1
DATA_SOURCE 0 ipmi_device r ipmi_dev_alloc
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &smi_watchers_mutex