mirror of
https://github.com/xen-project/xen.git
synced 2026-10-29 02:30:03 +01:00
Change main_sched_rtds and related output functions to support per-VCPU extratime flag. Signed-off-by: Meng Xu <mengxu@cis.upenn.edu> Acked-by: Wei Liu <wei.liu2@citrix.com> Reviewed-by: Dario Faggioli <raistlin@linux.it>