ACPI_FUNCTION_TRACE ("os_release_lock");  ACPI_DEBUG_PRINT ((ACPI_DB_MUTEX, "Releasing spinlock[%p] from %s level\n", handle, ((flags & ACPI_NOT_ISR) ? "non-interrupt" : "interrupt")));  spin_unlock((spinlock_t *)handle);  if (flags & ACPI_NOT_ISR) ACPI_ENABLE_IRQS();  return_VOID;
spin_unlock_irqrestore((spinlock_t *)handle, flags);
acpi_os_release_lock (	acpi_handle	handle,	u32		flags){	ACPI_FUNCTION_TRACE ("os_release_lock");	ACPI_DEBUG_PRINT ((ACPI_DB_MUTEX, "Releasing spinlock[%p] from %s level\n", handle,		((flags & ACPI_NOT_ISR) ? "non-interrupt" : "interrupt")));	spin_unlock((spinlock_t *)handle);	if (flags & ACPI_NOT_ISR)		ACPI_ENABLE_IRQS();	return_VOID;}