[][src]Type Definition vmread_sys_internal::__uint64_t

type __uint64_t = u64;