-/*
- * Print out a 64-bit integer. This appears to be different on each system,
- * try to make the best of it. The integer stored as 2 consecutive XDR
- * encoded 32-bit integers, to which a pointer is passed.
- *
- * We assume that PRId64, PRIu64, and PRIx64 are defined, and that
- * u_int64_t is defined.
- */
-
-#define UNSIGNED 0
-#define SIGNED 1
-#define HEX 2
-
-static int print_int64(const u_int32_t *dp, int how)
-{
- u_int64_t res;
-
- res = EXTRACT_64BITS((u_int8_t *)dp);
- switch (how) {
- case SIGNED:
- printf("%" PRId64, res);
- break;
- case UNSIGNED:
- printf("%" PRIu64, res);
- break;
- case HEX:
- printf("%" PRIx64, res);
- break;
- default:
- return (0);
- }
- return (1);
-}
-