--- tai_ui64.h 2002/04/29 19:19:48 1.1
+++ tai_ui64.h 2002/06/29 11:09:57 1.2
@@ -73,6 +73,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);
|
