7.2. The Package Ada.Interrupts.Names

package Ada.Interrupts.Names is

   --  ERC32 interrupt names

   MASKED_ERRORS             : constant Interrupt_ID := 1;
   EXTERNAL_0                : constant Interrupt_ID := 2;
   EXTERNAL_1                : constant Interrupt_ID := 3;
   UART_A_RX_TX              : constant Interrupt_ID := 4;
   UART_B_RX_TX              : constant Interrupt_ID := 5;
   CORRECTABLE_MEMORY_ERROR  : constant Interrupt_ID := 6;
   UART_ERROR                : constant Interrupt_ID := 7;
   DMA_ACCESS_ERROR          : constant Interrupt_ID := 8;
   DMA_TIMEOUT               : constant Interrupt_ID := 9;
   EXTERNAL_2                : constant Interrupt_ID := 10;
   EXTERNAL_3                : constant Interrupt_ID := 11;
   GENERAL_PURPOSE_TIMER     : constant Interrupt_ID := 12;
   REAL_TIME_CLOCK           : constant Interrupt_ID := 13;
   EXTERNAL_4                : constant Interrupt_ID := 14;
   WATCHDOG_TIMEOUT          : constant Interrupt_ID := 15;

end Ada.Interrupts.Names;