47 #define TIMETABLE_WITH_TYPE 1
50 #ifdef PROFILE_CONF_TIMETABLE_SIZE
51 #define PROFILE_TIMETABLE_SIZE PROFILE_CONF_TIMETABLE_SIZE
53 #define PROFILE_TIMETABLE_SIZE 128
56 #ifdef PROFILE_CONF_AGGREGATE_SIZE
57 #define PROFILE_AGGREGATE_SIZE PROFILE_CONF_AGGREGATE_SIZE
59 #define PROFILE_AGGREGATE_SIZE 128
62 #define PROFILE_BEGIN(id) TIMETABLE_TIMESTAMP_TYPE(profile_timetable, id, 1)
63 #define PROFILE_END(id) TIMETABLE_TIMESTAMP_TYPE(profile_timetable, id, 2)
71 #define profile_begin_timetable_size PROFILE_TIMETABLE_SIZE
72 TIMETABLE_DECLARE(profile_begin_timetable);
73 #define profile_end_timetable_size PROFILE_TIMETABLE_SIZE
74 TIMETABLE_DECLARE(profile_end_timetable);
76 #define profile_timetable_size PROFILE_TIMETABLE_SIZE
77 TIMETABLE_DECLARE(profile_timetable);
79 void profile_init(
void);
81 void profile_episode_start(
void);
82 void profile_episode_end(
void);
84 void profile_aggregate_print_detailed(
void);
85 void profile_aggregate_compute_detailed(
void);