Defined in 1 files as a prototype:

Referenced in 3 files:

Smatch caller information:

drivers/acpi/acpica/exconfig.c acpi_ex_unload_table() -> acpi_tb_unload_table()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
UNITS 0 table_index unit_byte

drivers/acpi/acpica/tbxfload.c acpi_unload_parent_table() -> acpi_tb_unload_table()

Type Parameter Key Value
CAPPED_DATA 0 table_index 1

drivers/acpi/acpica/tbxfload.c acpi_unload_table() -> acpi_tb_unload_table()

Type Parameter Key Value
PARAM_VALUE 0 table_index 0,2-u32max
DATA_SOURCE 0 table_index $0
RX_PATH
TASK_NOT_RUNNING
LOCK2 &subsys->su_mutex
HALF_LOCKED2 &dentry->d_inode->i_rwsem
HALF_LOCKED2 &dentry->d_lockref.lock
TYPE_LOCK (struct configfs_subsystem)->su_mutex