__uint64_t
typedef __uint64_t uint64_t;
typedef __uint64_t OM_uint64;
__uint64_t
__uint64_t fpcr;
__uint64_t fpsr;
typedef __uint64_t fenv_t;
typedef __uint64_t fexcept_t;
typedef __uint64_t fenv_t;
typedef __uint64_t fexcept_t;
typedef __uint64_t __uint_fast64_t;
__uint64_t vfp_reg[32];
__uint64_t fpr_r[32];
__uint64_t mcv_reg[32];
typedef __uint64_t __uint_fast64_t;
typedef __uint64_t __u_register_t;
typedef __uint64_t __vm_paddr_t;
__uint64_t code;
__uint64_t data;
__uint64_t x[30];
__uint64_t lr;
__uint64_t sp;
__uint64_t elr;
__uint64_t spsr;
__uint64_t dbr_addr;
__uint64_t dbw_addr;
__uint64_t mcv_reg[32];
__uint64_t gp_spsr;
__uint64_t mc_ptr; /* Address of extra_regs struct */
__uint64_t mc_spare[7]; /* Space for expansion, set to zero */
__uint64_t metadata;
__uint64_t addr;
typedef __uint64_t __uint_fast64_t;
typedef __uint64_t __u_register_t;
typedef __uint64_t __vm_paddr_t;
typedef __uint64_t __vm_paddr_t;
__uint64_t mc_avec[32*2]; /* vector register file */
__uint64_t mc_fpreg[33];
__uint64_t mc_vsxfpreg[32]; /* low-order half of VSR0-31 */
typedef __uint64_t __uint_fast64_t;
typedef __uint64_t __u_register_t;
typedef __uint64_t __vm_paddr_t;
__uint64_t ra; /* return address */
__uint64_t sp; /* stack pointer */
__uint64_t gp; /* global pointer */
__uint64_t tp; /* thread pointer */
__uint64_t t[7]; /* temporaries */
__uint64_t s[12]; /* saved registers */
__uint64_t a[8]; /* function arguments */
__uint64_t sepc; /* exception program counter */
__uint64_t sstatus; /* status register */
__uint64_t fp_x[32][2]; /* Floating point registers */
__uint64_t fp_fcsr; /* Floating point control reg */
__uint64_t fp_x[32][2];
__uint64_t fp_fcsr;
__uint64_t mc_spare[8]; /* Space for expansion */
__uint64_t p1;
__uint64_t p2;
typedef __uint64_t uint64_t;
typedef __uint64_t __fsblkcnt_t;
typedef __uint64_t __fsfilcnt_t;
typedef __uint64_t __ino_t; /* inode number */
typedef __uint64_t __nlink_t; /* link count */
typedef __uint64_t __dev_t; /* device number */
typedef __uint64_t __uint_least64_t;
typedef __uint64_t __uintmax_t;
typedef __uint64_t __uintptr_t;
typedef __uint64_t __uintfptr_t;
typedef __uint64_t __uint64ptr_t;
typedef __uint64_t __uint64ptr_t;
typedef __uint64_t __size_t; /* sizeof() */
__uint64_t p1;
__uint64_t p2;
__uint64_t rsrv1[4];
__uint64_t val;
__bitcount64(__uint64_t _x)
static __inline __uint64_t
__bitcount64(__uint64_t _x)
#define __bitcount64(x) __builtin_popcountll((__uint64_t)(x))
static __inline __uint64_t
(((__uint64_t)(m)->ctlm_offsethi) << 32 | (m)->ctlm_offsetlo)
#define CTF_OFFSET_TO_LMEMHI(off) ((__uint32_t)((__uint64_t)(off) >> 32))
typedef __uint64_t uint64_t;
__uint64_t ext[4]; /* extensions */
__uint64_t prng64(void);
__uint64_t prng64_bounded(__uint64_t bound);
#define RLIM_INFINITY ((rlim_t)(((__uint64_t)1 << 63) - 1))
__uint64_t st_info_rsv[7];
__uint64_t st_gen; /* file generation number */
__uint64_t st_filerev; /* file revision, incr on changes */
__uint64_t st_spare[9];
typedef __uint64_t kpaddr_t;
typedef __uint64_t kvaddr_t;
typedef __uint64_t ksize_t;
typedef __uint64_t vm_ooffset_t;
typedef __uint64_t vm_pindex_t;
typedef __uint64_t uoff_t;
typedef __uint64_t u_int64_t;
typedef __uint64_t u_quad_t; /* quads (deprecated) */
typedef __uint64_t __uint_fast64_t;
typedef __uint64_t __u_register_t;
typedef __uint64_t __vm_paddr_t;
typedef __uint64_t __vm_paddr_t;
__uint64_t fpr_env[4];
__uint64_t fpr_spare[12];
__uint64_t dr[16]; /* debug registers */
__uint64_t r_fsbase;
__uint64_t r_gsbase;