pub type __kernel_daddr_t = c_int;