From 113430e542916eb563a5cb770470cdf562856836 Mon Sep 17 00:00:00 2001 From: Arnaud Charlet <charlet@gcc.gnu.org> Date: Tue, 2 Aug 2011 17:53:12 +0200 Subject: [PATCH] New file. From-SVN: r177193 --- gcc/ada/a-extiin.ads | 26 ++++++++++++++++++++++++++ 1 file changed, 26 insertions(+) create mode 100644 gcc/ada/a-extiin.ads diff --git a/gcc/ada/a-extiin.ads b/gcc/ada/a-extiin.ads new file mode 100644 index 000000000000..9677c580eddd --- /dev/null +++ b/gcc/ada/a-extiin.ads @@ -0,0 +1,26 @@ +------------------------------------------------------------------------------ +-- -- +-- GNAT RUN-TIME COMPONENTS -- +-- -- +-- A D A . E X E C U T I O N _ T I M E . I N T E R R U P T S -- +-- -- +-- S p e c -- +-- -- +-- This specification is derived from the Ada Reference Manual for use with -- +-- GNAT. In accordance with the copyright of that document, you can freely -- +-- copy and modify this specification, provided that if you redistribute a -- +-- modified version, any changes that you have made are clearly indicated. -- +-- -- +------------------------------------------------------------------------------ + +with Ada.Interrupts; + +package Ada.Execution_Time.Interrupts is + + pragma Unimplemented_Unit; + + function Clock (Interrupt : Ada.Interrupts.Interrupt_Id) return CPU_Time; + + function Supported (Interrupt : Ada.Interrupts.Interrupt_Id) return Boolean; + +end Ada.Execution_Time.Interrupts; -- GitLab