acpi_tb_set_table_loaded_flag
void acpi_tb_set_table_loaded_flag(u32 table_index, u8 is_loaded);
acpi_tb_set_table_loaded_flag(table_index, TRUE);
acpi_tb_set_table_loaded_flag(table_index, FALSE);