From: kaf24@localhost.localdomain <kaf24@localhost.localdomain>
Date: Fri, 26 Jan 2007 15:08:28 +0000 (+0000)
Subject: Fix 32-bit build.
X-Git-Tag: archive/raspbian/4.8.0-1+rpi1~1^2~15371^2~21
X-Git-Url: https://dgit.raspbian.org/?a=commitdiff_plain;h=8bcd69bb9b595516ba957640dc7f6741ed350d7e;p=xen.git

Fix 32-bit build.
---

diff --git a/xen/arch/x86/domctl.c b/xen/arch/x86/domctl.c
index b109fa0578..36b0b3b4d0 100644
--- a/xen/arch/x86/domctl.c
+++ b/xen/arch/x86/domctl.c
@@ -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>