#include <../../arm/include/asm/xen/hypercall.h>