Type Alias __kernel_time64_t

pub type __kernel_time64_t = i64;