xl: enable per-VCPU extratime flag for RTDS
authorMeng Xu <mengxu@cis.upenn.edu>
Tue, 10 Oct 2017 23:17:43 +0000 (19:17 -0400)
committerWei Liu <wei.liu2@citrix.com>
Wed, 11 Oct 2017 11:20:17 +0000 (12:20 +0100)
commita49349cf1dfb77b20a5ebb0c907210d36904a22d
tree6ed09df09005dc05e33f49f458710bc708fcd67a
parenta9c8a25e95e009bf1b9c4f77c6963458e8fe1260
xl: enable per-VCPU extratime flag for RTDS

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>
docs/man/xl.pod.1.in
tools/xl/xl_cmdtable.c
tools/xl/xl_sched.c