Type Definition ndk_sys::__kernel_clockid_t

type __kernel_clockid_t = c_int;