Type Definition ndk_sys::timer_t

type timer_t = __timer_t;