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

Modify libxl_vcpu_sched_params_get/set and sched_rtds_vcpu_get/set
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>
tools/libxl/libxl.h
tools/libxl/libxl_sched.c
tools/libxl/libxl_types.idl