Constant XCHAL_INTTYPE_MASK_NMI 

pub const XCHAL_INTTYPE_MASK_NMI: u32 = 16384;