ACPI_RELEASE_GLOBAL_LOCK
ACPI_RELEASE_GLOBAL_LOCK(acpi_gbl_FACS, pending);
#ifndef ACPI_RELEASE_GLOBAL_LOCK