Constant __NR_lookup_dcookie 

pub const __NR_lookup_dcookie: u32 = 212;