511     MS_U32 u32VectorIndex = 0;  in HAL_IRQ_Attach()  local
513     u32VectorIndex = (MS_U32)IntEnum2HWIdx[u32Vector];  in HAL_IRQ_Attach()
515     if ((MS_U32)u32VectorIndex <= COUNTOF(irq_table))  in HAL_IRQ_Attach()
516         irq_table[u32VectorIndex] = (IRQCb)pIntCb;  in HAL_IRQ_Attach()
518         printf("%s error vector: %x\n", __FUNCTION__, (unsigned int)u32VectorIndex);  in HAL_IRQ_Attach()
530     MS_U32 u32VectorIndex = 0;  in HAL_IRQ_Detech()  local
532     u32VectorIndex = (MS_U32)IntEnum2HWIdx[u32Vector];  in HAL_IRQ_Detech()
534     if ((MS_U32)u32VectorIndex <= COUNTOF(irq_table))  in HAL_IRQ_Detech()
535         irq_table[u32VectorIndex] = 0;  in HAL_IRQ_Detech()
572     MS_U32 u32VectorIndex = 0;  in HAL_IRQ_Mask()  local
574     u32VectorIndex = (MS_U32)IntEnum2HWIdx[u32Vector];  in HAL_IRQ_Mask()
575     _HAL_IRQ_Enable(u32VectorIndex, DISABLE);  in HAL_IRQ_Mask()
580     MS_U32 u32VectorIndex = 0;  in HAL_IRQ_UnMask()  local
582     u32VectorIndex = (MS_U32)IntEnum2HWIdx[u32Vector];  in HAL_IRQ_UnMask()
583     _HAL_IRQ_Enable(u32VectorIndex, ENABLE);  in HAL_IRQ_UnMask()