3 --- ../xen/include/public/arch-x86/xen-x86_32.h.orig 2007-05-27 15:08:03.000000000 +0200
4 +++ ../xen/include/public/arch-x86/xen-x86_32.h 2007-05-27 15:08:44.000000000 +0200
8 #define uint64_aligned_t uint64_t __attribute__((aligned(8)))
9 -#define XEN_GUEST_HANDLE_64(name) __guest_handle_64_ ## name
10 +#define __XEN_GUEST_HANDLE_64(name) __guest_handle_64_ ## name
11 +#define XEN_GUEST_HANDLE_64(name) __XEN_GUEST_HANDLE_64(name)