[Xen-users] Xen- SEDF credit scheduler

[Christine MAYAP <christine.mayapkamga@xxxxxxxxxxx>]

Hello

For some personal experiences, I need to get the CPU idle time of my 
processor.However, while using this function ( get_cpu_idle_time 
(CPU-id) ) in the sedf scheduler, I'm unable to boot my computer.
Is there a special operation to do?

Futhermore,  this function is called after being sure that my computer 
is up!
Cheers
-

MAYAP Christine
IRIT/ENSEEIHT
2 rue Charles Camichel - BP 7122
31071 Toulouse cedex  7


_______________________________________________
Xen-users mailing list
Xen-users@xxxxxxxxxxxxx
http://lists.xen.org/xen-users