Fix IA64 build

Signed-off-by: Alex Williamson <alex.williamson@hp.com>
xen-unstable changeset:   15630:66db6b98f0720c08524754fc2364b126ef5cd2ab
xen-unstable date:        Fri Jul 20 14:10:40 2007 +0100

diff --git a/xen/common/domctl.c b/xen/common/domctl.c
index f210d6b991cf704600a59ca3a98954eba0d97729..5d29667b7c3d0842719727c3b2316c002ac53406 100644 (file)
--- a/xen/common/domctl.c
+++ b/xen/common/domctl.c
@@ -20,6 +20,7 @@
 #include <xen/rcupdate.h>
 #include <xen/guest_access.h>
 #include <xen/bitmap.h>
+#include <xen/paging.h>
 #include <asm/current.h>
 #include <public/domctl.h>
 #include <acm/acm_hooks.h>