This file is indexed.

/usr/include/bglibs/uint64.h is in libbg1-dev 1.106-3.

This file is owned by root:root, with mode 0o644.

The actual contents of the file can be viewed below.

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
19
20
21
#ifndef UINT64_H
#define UINT64_H

#include <sysdeps.h>
#include <uintnn.h>
__UINTNN_DECL(64,8)
#define uint64_get uint64_get_lsb
#define uint64_pack uint64_pack_lsb
#define uint64_unpack uint64_unpack_lsb

#ifdef ENDIAN_LSB
#define uint64_get_native uint64_get_lsb
#define uint64_pack_native uint64_pack_lsb
#define uint64_unpack_native uint64_unpack_lsb
#else
#define uint64_get_native uint64_get_msb
#define uint64_pack_native uint64_pack_msb
#define uint64_unpack_native uint64_unpack_msb
#endif

#endif