# HG changeset patch
# User kaf24@localhost.localdomain
# Date 1169824108 0
# Node ID ace66ef96b5e0c69a5cb1fc9f36a882d8ae8e8de
# Parent  82b21d942ef950f65f3733de13977fc72e4af90d
Fix 32-bit build.

diff -r 82b21d942ef9 -r ace66ef96b5e xen/arch/x86/domctl.c
--- a/xen/arch/x86/domctl.c	Fri Jan 26 14:11:34 2007 +0000
+++ b/xen/arch/x86/domctl.c	Fri Jan 26 15:08:28 2007 +0000
@@ -9,6 +9,7 @@
 #include <xen/lib.h>
 #include <xen/mm.h>
 #include <xen/guest_access.h>
+#include <xen/compat.h>
 #include <public/domctl.h>
 #include <xen/sched.h>
 #include <xen/domain.h>