Type Definition vmread_sys_internal::size_t

type size_t = u64;