ACPI_RELEASE_GLOBAL_LOCK
ACPI_RELEASE_GLOBAL_LOCK (AcpiGbl_FACS, Pending);
#ifndef ACPI_RELEASE_GLOBAL_LOCK