/* Disables a device specific interrupt in the NVIC interrupt controller.  */
void CORTEX_NVIC_DisableIRQ(IRQn_Type IRQn)
/* Disables a device specific interrupt in the NVIC interrupt controller.  */
void CORTEX_NVIC_DisableIRQ(IRQn_Type IRQn)
{
  assert_parameters(IS_CORTEX_NVIC_DEVICE_IRQ(IRQn));
  NVIC_DisableIRQ(IRQn); 
}