pub type __kernel_mqd_t = c_int;