Symbol: acpi_tb_set_table_loaded_flag
drivers/acpi/acpica/actables.h
51
void acpi_tb_set_table_loaded_flag(u32 table_index, u8 is_loaded);
drivers/acpi/acpica/nsload.c
73
acpi_tb_set_table_loaded_flag(table_index, TRUE);
drivers/acpi/acpica/tbdata.c
1070
acpi_tb_set_table_loaded_flag(table_index, FALSE);