Type Definition __kernel_time_t
Other items inlinux_raw_sys::v2_6_32::general
type __kernel_time_t = c_long;