Type Definition ndk_sys::clock_t

type clock_t = __kernel_clock_t;