sched RTDS: use uint64_t for tracing time values
authorDario Faggioli <dario.faggioli@citrix.com>
Tue, 15 Mar 2016 11:20:12 +0000 (12:20 +0100)
committerJan Beulich <jbeulich@suse.com>
Tue, 15 Mar 2016 11:20:12 +0000 (12:20 +0100)
commit96504c7e4fe98310f243d503a73be33b26b90f59
tree288e79fec8551d9d2445754eb148e6f8c09e0700
parentba22f1f4732acb4d5aebd779122e91753a0e374d
sched RTDS: use uint64_t for tracing time values

such as deadline and budget. Packing is necessary to make
it possible for xentrace_format to properly interpreet the
records.

Signed-off-by: Dario Faggioli <dario.faggioli@citrix.com>
Reviewed-by: Meng Xu <mengxu@cis.upenn.edu>
xen/common/sched_rt.c