File : s-bbexti.ads


   1 ------------------------------------------------------------------------------
   2 --                                                                          --
   3 --                  GNAT RUN-TIME LIBRARY (GNARL) COMPONENTS                --
   4 --                                                                          --
   5 --              S Y S T E M . B B . E X E C U T I O N _ T I M E             --
   6 --                                                                          --
   7 --                                 S p e c                                  --
   8 --                                                                          --
   9 --                     Copyright (C) 2011-2013, AdaCore                     --
  10 --                                                                          --
  11 -- GNARL is free software; you can  redistribute it  and/or modify it under --
  12 -- terms of the  GNU General Public License as published  by the Free Soft- --
  13 -- ware  Foundation;  either version 3,  or (at your option) any later ver- --
  14 -- sion. GNARL is distributed in the hope that it will be useful, but WITH- --
  15 -- OUT ANY WARRANTY;  without even the  implied warranty of MERCHANTABILITY --
  16 -- or FITNESS FOR A PARTICULAR PURPOSE.                                     --
  17 --                                                                          --
  18 --                                                                          --
  19 --                                                                          --
  20 --                                                                          --
  21 --                                                                          --
  22 -- You should have received a copy of the GNU General Public License and    --
  23 -- a copy of the GCC Runtime Library Exception along with this program;     --
  24 -- see the files COPYING3 and COPYING.RUNTIME respectively.  If not, see    --
  25 -- <http://www.gnu.org/licenses/>.                                          --
  26 --                                                                          --
  27 ------------------------------------------------------------------------------
  28 
  29 with Ada.Task_Identification;
  30 
  31 with System.BB.Threads;
  32 with System.BB.Time;
  33 with System.BB.Interrupts;
  34 
  35 package System.BB.Execution_Time is
  36    function Global_Interrupt_Clock return System.BB.Time.Time;
  37    --  Sum of the interrupt clocks
  38 
  39    function Interrupt_Clock
  40      (Interrupt : System.BB.Interrupts.Interrupt_ID)
  41       return System.BB.Time.Time;
  42    pragma Inline (Interrupt_Clock);
  43    --  CPU Time spent to handle the given interrupt
  44 
  45    function Thread_Clock
  46      (Th : System.BB.Threads.Thread_Id) return System.BB.Time.Time;
  47    pragma Inline (Thread_Clock);
  48    --  CPU Time spent in the given thread
  49 
  50 end System.BB.Execution_Time;