Dma0_Error_IrqHandler ()
{
  <bb 2> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  Dma_Ch0_Ch15_ErrorIrqDispatcher (2, 0);
  return;

}


Dma0_Ch15_IRQHandler ()
{
  <bb 2> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  IntIrqDispatcher (2, 0, 15);
  # DEBUG BEGIN_STMT
  __asm__ __volatile__(" DSB");
  return;

}


Dma0_Ch14_IRQHandler ()
{
  <bb 2> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  IntIrqDispatcher (2, 0, 14);
  # DEBUG BEGIN_STMT
  __asm__ __volatile__(" DSB");
  return;

}


Dma0_Ch13_IRQHandler ()
{
  <bb 2> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  IntIrqDispatcher (2, 0, 13);
  # DEBUG BEGIN_STMT
  __asm__ __volatile__(" DSB");
  return;

}


Dma0_Ch12_IRQHandler ()
{
  <bb 2> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  IntIrqDispatcher (2, 0, 12);
  # DEBUG BEGIN_STMT
  __asm__ __volatile__(" DSB");
  return;

}


Dma0_Ch11_IRQHandler ()
{
  <bb 2> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  IntIrqDispatcher (2, 0, 11);
  # DEBUG BEGIN_STMT
  __asm__ __volatile__(" DSB");
  return;

}


Dma0_Ch10_IRQHandler ()
{
  <bb 2> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  IntIrqDispatcher (2, 0, 10);
  # DEBUG BEGIN_STMT
  __asm__ __volatile__(" DSB");
  return;

}


Dma0_Ch9_IRQHandler ()
{
  <bb 2> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  IntIrqDispatcher (2, 0, 9);
  # DEBUG BEGIN_STMT
  __asm__ __volatile__(" DSB");
  return;

}


Dma0_Ch8_IRQHandler ()
{
  <bb 2> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  IntIrqDispatcher (2, 0, 8);
  # DEBUG BEGIN_STMT
  __asm__ __volatile__(" DSB");
  return;

}


Dma0_Ch7_IRQHandler ()
{
  <bb 2> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  IntIrqDispatcher (2, 0, 7);
  # DEBUG BEGIN_STMT
  __asm__ __volatile__(" DSB");
  return;

}


Dma0_Ch6_IRQHandler ()
{
  <bb 2> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  IntIrqDispatcher (2, 0, 6);
  # DEBUG BEGIN_STMT
  __asm__ __volatile__(" DSB");
  return;

}


Dma0_Ch5_IRQHandler ()
{
  <bb 2> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  IntIrqDispatcher (2, 0, 5);
  # DEBUG BEGIN_STMT
  __asm__ __volatile__(" DSB");
  return;

}


Dma0_Ch4_IRQHandler ()
{
  <bb 2> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  IntIrqDispatcher (2, 0, 4);
  # DEBUG BEGIN_STMT
  __asm__ __volatile__(" DSB");
  return;

}


Dma0_Ch3_IRQHandler ()
{
  <bb 2> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  IntIrqDispatcher (2, 0, 3);
  # DEBUG BEGIN_STMT
  __asm__ __volatile__(" DSB");
  return;

}


Dma0_Ch2_IRQHandler ()
{
  <bb 2> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  IntIrqDispatcher (2, 0, 2);
  # DEBUG BEGIN_STMT
  __asm__ __volatile__(" DSB");
  return;

}


Dma0_Ch1_IRQHandler ()
{
  <bb 2> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  IntIrqDispatcher (2, 0, 1);
  # DEBUG BEGIN_STMT
  __asm__ __volatile__(" DSB");
  return;

}


Dma0_Ch0_IRQHandler ()
{
  <bb 2> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  IntIrqDispatcher (2, 0, 0);
  # DEBUG BEGIN_STMT
  __asm__ __volatile__(" DSB");
  return;

}


