ACPI_INITIALIZED_OK
if (acpi_gbl_startup_flags & ACPI_INITIALIZED_OK) {
acpi_gbl_startup_flags |= ACPI_INITIALIZED_OK;