Constant XTHAL_INTTYPE_IDMA_DONE 

pub const XTHAL_INTTYPE_IDMA_DONE: u32 = 8;