acpi_tb_is_table_loaded
u8 acpi_tb_is_table_loaded(u32 table_index);
if (acpi_tb_is_table_loaded(table_index)) {
if (!acpi_tb_is_table_loaded(table_index)) {