current->state = TASK_INTERRUPTIBLE; schedule_timeout(((signed long)ms * HZ) / 1000); 
schedule_timeout_interruptible(msecs_to_jiffies(ms)); 
void acpi_os_sleep(acpi_integer ms){	current->state = TASK_INTERRUPTIBLE;	schedule_timeout(((signed long)ms * HZ) / 1000);}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/01a527ec7c62efea601a39f0cd8e6a8517259014/osl.c/clean/drivers/acpi/osl.c