__DECL_REG        114 include/asm-x86/xen/interface_64.h     __DECL_REG(bp);
__DECL_REG        115 include/asm-x86/xen/interface_64.h     __DECL_REG(bx);
__DECL_REG        120 include/asm-x86/xen/interface_64.h     __DECL_REG(ax);
__DECL_REG        121 include/asm-x86/xen/interface_64.h     __DECL_REG(cx);
__DECL_REG        122 include/asm-x86/xen/interface_64.h     __DECL_REG(dx);
__DECL_REG        123 include/asm-x86/xen/interface_64.h     __DECL_REG(si);
__DECL_REG        124 include/asm-x86/xen/interface_64.h     __DECL_REG(di);
__DECL_REG        127 include/asm-x86/xen/interface_64.h     __DECL_REG(ip);
__DECL_REG        131 include/asm-x86/xen/interface_64.h     __DECL_REG(flags);      /* rflags.IF == !saved_upcall_mask */
__DECL_REG        132 include/asm-x86/xen/interface_64.h     __DECL_REG(sp);