XEN_GUEST_HANDLE_64
#define XEN_GUEST_HANDLE_64(name) __XEN_GUEST_HANDLE_64(name)
#define XEN_GUEST_HANDLE_64(name) XEN_GUEST_HANDLE(name)
