#ifndef __ARCH_ARM_INSN
#define __ARCH_ARM_INSN

#include <xen/types.h>

#if defined(CONFIG_ARM_64)
# include <asm/arm64/insn.h>
#else
# error "unknown ARM variant"
#endif

#endif /* !__ARCH_ARM_INSN */
/*
 * Local variables:
 * mode: C
 * c-file-style: "BSD"
 * c-basic-offset: 8
 * indent-tabs-mode: t
 * End:
 */
