ACPI_TABLE_IS_VERIFIED
flags & ACPI_TABLE_IS_VERIFIED)) {
table_desc->flags |= ACPI_TABLE_IS_VERIFIED;
if (!(table_desc->flags & ACPI_TABLE_IS_VERIFIED)) {