Constant XTHAL_INTTYPE_NMI 

pub const XTHAL_INTTYPE_NMI: u32 = 5;