Type Alias __kernel_mqd_t 

pub type __kernel_mqd_t = i32;