Constant REGDF_NOTDETIRQ 

pub const REGDF_NOTDETIRQ: u32 = 4u32;