vfio_sys::plat

Type Alias __kernel_time_t

Source 
pub type __kernel_time_t = __kernel_long_t;