ia64/xen-unstable

changeset 15637:66db6b98f072

Fix IA64 build
Signed-off-by: Alex Williamson <alex.williamson@hp.com>
author Tim Deegan <Tim.Deegan@xensource.com>
date Fri Jul 20 14:10:40 2007 +0100 (2007-07-20)
parents 44e12d5b5178
children 4a8dbbc16d48
files xen/common/domctl.c
line diff
     1.1 --- a/xen/common/domctl.c	Fri Jul 20 12:00:25 2007 +0100
     1.2 +++ b/xen/common/domctl.c	Fri Jul 20 14:10:40 2007 +0100
     1.3 @@ -20,6 +20,7 @@
     1.4  #include <xen/rcupdate.h>
     1.5  #include <xen/guest_access.h>
     1.6  #include <xen/bitmap.h>
     1.7 +#include <xen/paging.h>
     1.8  #include <asm/current.h>
     1.9  #include <public/domctl.h>
    1.10  #include <acm/acm_hooks.h>