[PATCH 1/7] sched: add a comment to get_cpu_idle_time_us()

From: Arjan van de Ven
Date: Sun Apr 18 2010 - 15:02:23 EST