debuggers.hg
changeset 13675:ace66ef96b5e
Fix 32-bit build.
author | kaf24@localhost.localdomain |
---|---|
date | Fri Jan 26 15:08:28 2007 +0000 (2007-01-26) |
parents | 82b21d942ef9 |
children | bb2b1b6662fa |
files | xen/arch/x86/domctl.c |
line diff
1.1 --- a/xen/arch/x86/domctl.c Fri Jan 26 14:11:34 2007 +0000 1.2 +++ b/xen/arch/x86/domctl.c Fri Jan 26 15:08:28 2007 +0000 1.3 @@ -9,6 +9,7 @@ 1.4 #include <xen/lib.h> 1.5 #include <xen/mm.h> 1.6 #include <xen/guest_access.h> 1.7 +#include <xen/compat.h> 1.8 #include <public/domctl.h> 1.9 #include <xen/sched.h> 1.10 #include <xen/domain.h>