Constant XCHAL_NMI_INTERRUPT 

pub const XCHAL_NMI_INTERRUPT: u32 = 14;