Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

drivers/acpi/acpica/tbfadt.c acpi_tb_parse_fadt() -> acpi_tb_get_table()

Type Parameter Key Value
PARAM_VALUE 1 out_table 1422348548706799616
HALF_LOCKED2 irq

drivers/acpi/acpica/tbxface.c acpi_get_table() -> acpi_tb_get_table()

Type Parameter Key Value
PARAM_VALUE 0 table_desc 4096-ptr_max
PARAM_VALUE 1 out_table 4096-ptr_max
PARAM_VALUE 1 *out_table 0
CAPPED_DATA 0 table_desc->signature 1
DATA_SOURCE 1 out_table $2
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 _T->lock
HALF_LOCKED2 global &topology_lock
HALF_LOCKED2 irq

drivers/acpi/acpica/tbxface.c acpi_get_table_by_index() -> acpi_tb_get_table()

Type Parameter Key Value
PARAM_VALUE 0 table_desc 4096-ptr_max
PARAM_VALUE 1 out_table 149016973875609600,1465728025279885312,1493994059679244288,1708306560147255296,3180024421480488960,5608679780892590080,5989589158342844416,9105035271038210048
PARAM_VALUE 1 *out_table 0
DATA_SOURCE 1 out_table $1
RX_PATH
TASK_NOT_RUNNING