1087cf68aSVarun Wadekar /* 2*4c700c15SGovindraj Raja * Copyright (c) 2017, Arm Limited and Contributors. All rights reserved. 367db3231SVarun Wadekar * Copyright (c) 2020, NVIDIA Corporation. All rights reserved. 4087cf68aSVarun Wadekar * 5087cf68aSVarun Wadekar * SPDX-License-Identifier: BSD-3-Clause 6087cf68aSVarun Wadekar */ 7087cf68aSVarun Wadekar 867db3231SVarun Wadekar #ifndef PROFILER_H 967db3231SVarun Wadekar #define PROFILER_H 10087cf68aSVarun Wadekar 11087cf68aSVarun Wadekar /******************************************************************************* 12087cf68aSVarun Wadekar * Number of bytes of memory used by the profiler on Tegra 13087cf68aSVarun Wadekar ******************************************************************************/ 14087cf68aSVarun Wadekar #define PROFILER_SIZE_BYTES U(0x1000) 15087cf68aSVarun Wadekar 16087cf68aSVarun Wadekar void boot_profiler_init(uint64_t shmem_base, uint32_t tmr_base); 17087cf68aSVarun Wadekar void boot_profiler_add_record(const char *str); 18087cf68aSVarun Wadekar void boot_profiler_deinit(void); 19087cf68aSVarun Wadekar 2067db3231SVarun Wadekar #endif /* PROFILER_H */ 21