os_idle_sleep     258 arch/um/include/shared/os.h extern void os_idle_sleep(unsigned long long nsecs);
os_idle_sleep     250 arch/um/kernel/process.c 		os_idle_sleep(duration);