pub type __kernel_caddr_t = *mut c_char;