u32		flags) 
unsigned long	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;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/73459f73e5d1602c59ebec114fc45185521353c1/osl.c/buggy/drivers/acpi/osl.c