Type Definition rebpf::libbpf::pthread_key_t

type pthread_key_t = u32;