Type Definition ndk_sys::__kernel_timer_t[][src]

pub type __kernel_timer_t = c_int;