#include <minix/u64.h>
+/*===========================================================================*
+ * update_idle_time *
+ *===========================================================================*/
PRIVATE void update_idle_time(void)
{
int i;
}
case GET_IDLETSC: {
struct proc * idl;
-
+ update_idle_time();
idl = proc_addr(IDLE);
length = sizeof(idl->p_cycles);
src_vir = (vir_bytes) &idl->p_cycles;
*
* Notes:
* - This functionality can only be used by system processes.
- * - The kernel has to be compiled with CONFIG_IDLE_TSC support.
* - Only one getidle() run is allowed per process at a time.
*
*/