libxc: use xc_vcpu_getinfo() instead of calling do_domctl()
authorDario Faggioli <dario.faggioli@citrix.com>
Tue, 10 Sep 2013 17:53:57 +0000 (19:53 +0200)
committerIan Campbell <ian.campbell@citrix.com>
Fri, 13 Sep 2013 12:10:02 +0000 (13:10 +0100)
commit2e2fa6ef6071d0369905e019b0273f3537cf5b9f
tree8bb355fb27c8284b5d1411f4007ee1d7306a9f4a
parent6164856fa7300bf914fc4a53f012ff3941fe19b7
libxc: use xc_vcpu_getinfo() instead of calling do_domctl()

The wrapper is there already, so better use it in place of
all the stuff required to issue a call to do_domctl() for
XEN_DOMCTL_getdomaininfo.

Signed-off-by: Dario Faggioli <dario.faggioli@citrix.com>
Acked-by: Ian Campbell <ian.campbell@citrix.com>
tools/libxc/xc_dom_boot.c
tools/libxc/xc_domain_restore.c
tools/libxc/xc_private.c