Constant DBG_INSTRFAULT 

pub const DBG_INSTRFAULT: u32 = 9u32;