Type Alias __kernel_time64_t 

pub type __kernel_time64_t = i64;