uint64_read_big(3diet)
NAME
uint64_read_big - read an unsigned big-endian 64-bit integer
SYNTAX
#include <uint64.h>
uint64 uint64_read_big(const char s[4]);
DESCRIPTION
uint64 is a 64-bit unsigned integer type.
uint64_read_big portably reads a uint64 as stored on a big-endian
architecture from s and returns it.