Type Alias __kernel_old_dev_t 

pub type __kernel_old_dev_t = u64;