libxc: use xc_vcpu_setcontext() instead of calling do_domctl()
authorDario Faggioli <dario.faggioli@citrix.com>
Tue, 10 Sep 2013 17:53:48 +0000 (19:53 +0200)
committerIan Campbell <ian.campbell@citrix.com>
Fri, 13 Sep 2013 12:09:59 +0000 (13:09 +0100)
commit6164856fa7300bf914fc4a53f012ff3941fe19b7
treedbcb9c05a3a4c12b5bdee1afa308bf811f3c61c7
parent0dd5b654107103765994243017a7f0eb15fda341
libxc: use xc_vcpu_setcontext() 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_setvcpucontext.

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