__DECL_REG
__DECL_REG(bp);
__DECL_REG(bx);
__DECL_REG(ax);
__DECL_REG(cx);
__DECL_REG(dx);
__DECL_REG(si);
__DECL_REG(di);
__DECL_REG(ip);
__DECL_REG(flags); /* rflags.IF == !saved_upcall_mask */
__DECL_REG(sp);