--- ui64.h 2002/04/29 19:16:03 1.3
+++ ui64.h 2002/06/29 11:08:35 1.4
@@ -71,6 +71,9 @@
unsigned char x[8]; /* x_0, ..., x_7 */
} ui64_t;
+#define ui64_cons(x7,x6,x5,x4,x3,x2,x1,x0) \
+ { { 0x##x0, 0x##x1, 0x##x2, 0x##x3, 0x##x4, 0x##x5, 0x##x6, 0x##x7 } }
+
/* particular values */
extern ui64_t ui64_zero (void);
extern ui64_t ui64_max (void);
|
