static void bldr_post_process(void) { #ifdef PL_PROFILING u32 profiling_time; profiling_time = get_timer(0); #endif platform_post_init(); #ifdef PL_PROFILING printf("#T#total_plf_post_init=%d\n", get_timer(profiling_time)); #endif }
static void bldr_post_process(void) { platform_post_init(); }