time: Revert to calling clock_was_set_delayed() while in irq context
[profile/ivi/kernel-x86-ivi.git] / kernel / cpu /
drwxr-xr-x   ..
-rw-r--r-- 15 Makefile
-rw-r--r-- 3362 idle.c