Type Definition ndk_sys::pthread_key_t

type pthread_key_t = c_int;