cpupool: Control interface should be a sysctl rather than a domctl.

Signed-off-by: Keir Fraser <keir.fraser@citrix.com>

1 files changed, 0 insertions, 13 deletions

diff --git a/tools/libxc/xc_private.h b/tools/libxc/xc_private.h
index 004c5938d8..fba384cc73 100644
--- a/tools/libxc/xc_private.h
+++ b/tools/libxc/xc_private.h
@@ -164,19 +164,6 @@ static inline int do_domctl(int xc_handle, struct xen_domctl *domctl)
     return ret;
 }
 
-static inline int do_domctl_save(int xc_handle, struct xen_domctl *domctl)
-{
-    int ret;
-
-    do
-    {
-        ret = do_domctl(xc_handle, domctl);
-    }
-    while ( (ret < 0 ) && (errno == EAGAIN) );
-
-    return ret;
-}
-
 static inline int do_sysctl(int xc_handle, struct xen_sysctl *sysctl)
 {
     int ret = -1;