726     MS_U32 u32VectorIndex = 0;  in HAL_IRQ_Attach()  local
728     u32VectorIndex = (MS_U32)IntEnum2HWIdx[u32Vector];  in HAL_IRQ_Attach()
730     if ((MS_U32)u32VectorIndex <= COUNTOF(irq_table))  in HAL_IRQ_Attach()
731         irq_table[u32VectorIndex] = (IRQCb)pIntCb;  in HAL_IRQ_Attach()
733         IRQ_HAL_ERR("%s error vector: %x\n", __FUNCTION__, (unsigned int)u32VectorIndex);  in HAL_IRQ_Attach()
745     MS_U32 u32VectorIndex = 0;  in HAL_IRQ_Detech()  local
747     u32VectorIndex = (MS_U32)IntEnum2HWIdx[u32Vector];  in HAL_IRQ_Detech()
749     if ((MS_U32)u32VectorIndex <= COUNTOF(irq_table))  in HAL_IRQ_Detech()
750         irq_table[u32VectorIndex] = 0;  in HAL_IRQ_Detech()
787     MS_U32 u32VectorIndex = 0;  in HAL_IRQ_Mask()  local
789     u32VectorIndex = (MS_U32)IntEnum2HWIdx[u32Vector];  in HAL_IRQ_Mask()
790     _HAL_IRQ_Enable(u32VectorIndex, DISABLE);  in HAL_IRQ_Mask()
795     MS_U32 u32VectorIndex = 0;  in HAL_IRQ_UnMask()  local
797     u32VectorIndex = (MS_U32)IntEnum2HWIdx[u32Vector];  in HAL_IRQ_UnMask()
798     _HAL_IRQ_Enable(u32VectorIndex, ENABLE);  in HAL_IRQ_UnMask()