Searched refs:boot_profiler_deinit (Results 1 – 3 of 3) sorted by relevance
18 void boot_profiler_deinit(void);
126 void boot_profiler_deinit(void) in boot_profiler_deinit() function
264 boot_profiler_deinit(); in bl31_plat_runtime_setup()