rp_interrupts.ads

--
--  Copyright (C) 2022 Jeremy Grosser <jeremy@synack.me>
--
--  SPDX-License-Identifier: BSD-3-Clause
--
with Cortex_M.NVIC;
with System;

package RP_Interrupts
   with Preelaborate
is

   --  This is a minimal version of the System.BB.Interrupts interface
   --  available in Ravenscar. Close enough that these packages can be used
   --  interchangably for the purposes of the RP drivers.
   subtype Interrupt_ID       is Cortex_M.NVIC.Interrupt_ID;
   subtype Interrupt_Priority is System.Interrupt_Priority;
   type Interrupt_Handler     is access procedure;

   procedure Attach_Handler
      (Handler : not null Interrupt_Handler;
       Id      : Interrupt_ID;
       Prio    : Interrupt_Priority)
   with Inline;

   procedure Interrupt_Request_Handler
   with Export,
        Convention => Asm,
        External_Name => "__gnat_irq_trap";

end RP_Interrupts;