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);