724     MS_U32 u32VectorIndex = 0;  in HAL_IRQ_Attach()  local
726     u32VectorIndex = (MS_U32)IntEnum2HWIdx[u32Vector];  in HAL_IRQ_Attach()
728     if ((MS_U32)u32VectorIndex <= COUNTOF(irq_table))  in HAL_IRQ_Attach()
729         irq_table[u32VectorIndex] = (IRQCb)pIntCb;  in HAL_IRQ_Attach()
731         IRQ_HAL_ERR("%s error vector: %x\n", __FUNCTION__, (unsigned int)u32VectorIndex);  in HAL_IRQ_Attach()
743     MS_U32 u32VectorIndex = 0;  in HAL_IRQ_Detech()  local
745     u32VectorIndex = (MS_U32)IntEnum2HWIdx[u32Vector];  in HAL_IRQ_Detech()
747     if ((MS_U32)u32VectorIndex <= COUNTOF(irq_table))  in HAL_IRQ_Detech()
748         irq_table[u32VectorIndex] = 0;  in HAL_IRQ_Detech()
785     MS_U32 u32VectorIndex = 0;  in HAL_IRQ_Mask()  local
787     u32VectorIndex = (MS_U32)IntEnum2HWIdx[u32Vector];  in HAL_IRQ_Mask()
788     _HAL_IRQ_Enable(u32VectorIndex, DISABLE);  in HAL_IRQ_Mask()
793     MS_U32 u32VectorIndex = 0;  in HAL_IRQ_UnMask()  local
795     u32VectorIndex = (MS_U32)IntEnum2HWIdx[u32Vector];  in HAL_IRQ_UnMask()
796     _HAL_IRQ_Enable(u32VectorIndex, ENABLE);  in HAL_IRQ_UnMask()