Type Definition ndk_sys::__time_t

type __time_t = __kernel_time_t;