acpi_os_release_lock
void acpi_os_release_lock(acpi_spinlock lockp, acpi_cpu_flags not_used)
void acpi_os_release_lock(acpi_spinlock handle, acpi_cpu_flags flags)