-- SPDX-License-Identifier: BSD-2-Clause -- -- Timer_Driver / Body -- -- Description: -- -- This package is the body for the Timer Driver. -- -- Dependencies: -- -- -- -- COPYRIGHT (c) 1989-2009. -- On-Line Applications Research Corporation (OAR). -- -- Redistribution and use in source and binary forms, with or without -- modification, are permitted provided that the following conditions -- are met: -- 1. Redistributions of source code must retain the above copyright -- notice, this list of conditions and the following disclaimer. -- 2. Redistributions in binary form must reproduce the above copyright -- notice, this list of conditions and the following disclaimer in the -- documentation and/or other materials provided with the distribution. -- -- THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS" -- AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE -- IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE -- ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR CONTRIBUTORS BE -- LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR -- CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF -- SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS -- INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN -- CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) -- ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE -- POSSIBILITY OF SUCH DAMAGE. -- with Interfaces; package body Timer_Driver is --PAGE -- -- Empty_function -- -- procedure Empty_Function is begin Null; end Empty_Function; --PAGE -- -- Set_Find_Average_Overhead -- -- procedure Set_Find_Average_Overhead ( Find_Flag : in Standard.Boolean ) is procedure Set_Find_Average_Overhead_base ( Find_Flag : in Interfaces.Unsigned_8 ); pragma Import (C, Set_Find_Average_Overhead_base, "benchmark_timer_disable_subtracting_average_overhead"); c: Interfaces.Unsigned_8; begin if Find_Flag then c := 1; else c := 0; end if; Set_Find_Average_Overhead_base (c); end Set_Find_Average_Overhead; end Timer_Driver;