From 097c5331d608fb35550e2f5e4c4cb2004aa385cf Mon Sep 17 00:00:00 2001
From: Marek Marczykowski <marmarek@invisiblethingslab.com>
Date: Fri, 14 Oct 2011 12:29:03 +0200
Subject: [PATCH] dom0: remove obsolete xenfreepages

---
 dom0/restore/.gitignore     |  1 -
 dom0/restore/xenfreepages.c | 23 -----------------------
 2 files changed, 24 deletions(-)
 delete mode 100644 dom0/restore/xenfreepages.c

diff --git a/dom0/restore/.gitignore b/dom0/restore/.gitignore
index 0535ab8a..9804657b 100644
--- a/dom0/restore/.gitignore
+++ b/dom0/restore/.gitignore
@@ -1,3 +1,2 @@
 qubes_restore
-xenfreepages
 xenstore-watch
diff --git a/dom0/restore/xenfreepages.c b/dom0/restore/xenfreepages.c
deleted file mode 100644
index 90d2a514..00000000
--- a/dom0/restore/xenfreepages.c
+++ /dev/null
@@ -1,23 +0,0 @@
-#include <xenctrl.h>
-#include <stdio.h>
-#include <stdlib.h>
-struct xen_sysctl_physinfo xphysinfo;
-main()
-{
-#ifdef XENCTRL_HAS_XC_INTERFACE
-	xc_interface *handle = xc_interface_open(NULL, NULL, 0);
-	if (!handle) {
-#else
-	int handle = xc_interface_open();
-	if (handle == -1) {
-#endif
-		perror("xc_interface_open");
-		exit(1);
-	}
-	if (xc_physinfo(handle, &xphysinfo)) {
-		perror("xc_physinfo");
-		exit(1);
-	}
-	printf("%lld", xphysinfo.free_pages);
-	return 0;
-}