xnsched_kick

[Marco Barletta]

Hi everyone, related to the sched_quota patch I posted about one week ago.
I'm trying to understand why xnsched_kick is needed, in which situation is
called. Reading the code it seems it's called when there's a xeno thread
that must be downgraded and scheduled in Linux, but I didn't understand why
there's the need to run to complention without respecting group budget. Can
you help me?
Best regards.

-- 
Marco Barletta