Type Alias __kernel_key_t 

pub type __kernel_key_t = i32;