#ifndef _XEN_XEN_ASM_H
  #define _XEN_XEN_ASM_H
  
  #include <linux/linkage.h>
  
  #define RELOC(x, v)	.globl x##_reloc; x##_reloc=v
  #define ENDPATCH(x)	.globl x##_end; x##_end=.
  
  /* Pseudo-flag used for virtual NMI, which we don't implement yet */
  #define XEN_EFLAGS_NMI	0x80000000
  
  #endif