uint64
uint64_t uint64 = 0;
err = krb5int_ipc_stream_read (io_stream, &uint64, sizeof (uint64));
*out_uint64 = ntohll (uint64);
int64_t uint64 = htonll (in_uint64);
err = krb5int_ipc_stream_write (io_stream, &uint64, sizeof (uint64));
uint64 absA;
uint64 absA;
uint64 absA;
uint64 float128_to_uint64_round_to_zero( float128 a )
uint64 z;
uint64_t uint64;
SDP_GET64(value.uint64, start);
printf("uint64 %ju\n", value.uint64);
uint64_t uint64;
ATF_REQUIRE_EQ(0, expand_number("18446744073709551615", &uint64));
ATF_REQUIRE_EQ(UINT64_MAX, uint64);
ATF_REQUIRE_EQ(-1, expand_number("-1", &uint64));
NV_DEFINE_ADD(uint64, UINT64)
NV_DEFINE_ADD_ARRAY(uint64, UINT64)
NV_DEFINE_GET(uint64, UINT64)
NV_DEFINE_GET_ARRAY(uint64, UINT64)
BHND_NVRAM_VAL_FMT_DECL(uint64);
BHND_NVRAM_VAL_FMT_NATIVE(uint64, UINT64);
PF_NV_IMPL_UINT(uint64, uint64_t, UINT64_MAX);
PF_NV_DEF_UINT(uint64, uint64_t, UINT64_MAX);
uint64_t uint64;
SDP_GET64(value.uint64, start);
fprintf(stdout, "u/int64 %ju\n", value.uint64);