fcc_time_profiling.c

00001 // ----------------------------------------------------------------------------
00002 // Copyright 2016-2017 ARM Ltd.
00003 //  
00004 // Licensed under the Apache License, Version 2.0 (the "License");
00005 // you may not use this file except in compliance with the License.
00006 // You may obtain a copy of the License at
00007 //  
00008 //     http://www.apache.org/licenses/LICENSE-2.0
00009 //  
00010 // Unless required by applicable law or agreed to in writing, software
00011 // distributed under the License is distributed on an "AS IS" BASIS,
00012 // WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
00013 // See the License for the specific language governing permissions and
00014 // limitations under the License.
00015 // ----------------------------------------------------------------------------
00016 
00017 
00018 #include "fcc_time_profiling.h"
00019 
00020 #ifdef FCC_TIME_PROFILING
00021 
00022 uint64_t fcc_gen_timer = 0;
00023 uint64_t fcc_bundle_timer = 0;
00024 uint64_t fcc_key_timer = 0;
00025 uint64_t fcc_certificate_timer = 0;
00026 uint64_t fcc_config_param_timer = 0;
00027 uint64_t fcc_certificate_chain_timer = 0;
00028 #endif
00029