acpi_tb_set_table_loaded_flag 50 drivers/acpi/acpica/actables.h void acpi_tb_set_table_loaded_flag(u32 table_index, u8 is_loaded); acpi_tb_set_table_loaded_flag 73 drivers/acpi/acpica/nsload.c acpi_tb_set_table_loaded_flag(table_index, TRUE); acpi_tb_set_table_loaded_flag 1034 drivers/acpi/acpica/tbdata.c acpi_tb_set_table_loaded_flag(table_index, FALSE);