diff --git a/xen/include/public/arch-arm.h b/xen/include/public/arch-arm.h
index cebb349..19729b9 100644
--- a/xen/include/public/arch-arm.h
+++ b/xen/include/public/arch-arm.h
@@ -342,6 +342,7 @@ typedef uint64_t xen_callback_t;
 
 /* 64 bit modes */
 #define PSR_MODE_BIT  0x10 /* Set iff AArch32 */
+#ifndef __ASM_PTRACE_H
 #define PSR_MODE_EL3h 0x0d
 #define PSR_MODE_EL3t 0x0c
 #define PSR_MODE_EL2h 0x09
@@ -349,6 +350,7 @@ typedef uint64_t xen_callback_t;
 #define PSR_MODE_EL1h 0x05
 #define PSR_MODE_EL1t 0x04
 #define PSR_MODE_EL0t 0x00
+#endif
 
 #define PSR_GUEST32_INIT  (PSR_ABT_MASK|PSR_FIQ_MASK|PSR_IRQ_MASK|PSR_MODE_SVC)
 #define PSR_GUEST64_INIT (PSR_ABT_MASK|PSR_FIQ_MASK|PSR_IRQ_MASK|PSR_MODE_EL1h)