Type Definition userfaultfd_sys::__kernel_daddr_t[][src]

pub type __kernel_daddr_t = c_int;