xen_credit_scheduler.c