pub type __kernel_clock_t = __kernel_long_t;