• __DECL_REG_HI() : xen_cpu_user_regs
• __DECL_REG_LO16() : xen_cpu_user_regs
• __DECL_REG_LO8() : xen_cpu_user_regs
• __DECL_REG_LOHI() : xen_cpu_user_regs