Constant GET_DEVFS 

pub const GET_DEVFS: u64 = 0x707e2b17f65fcadc;