extern const char * const config_element_targets;
extern const char * const config_element_target_pid;
extern const char * const config_element_rotation_timer_interval;
+extern const char * const config_element_rotation_size;
extern const char * const config_element_rotation_schedule;
extern const char * const config_domain_type_kernel;
extern const char * const config_event_context_preemptible;
extern const char * const config_event_context_need_reschedule;
extern const char * const config_event_context_migratable;
+extern const char * const config_event_context_callstack_user;
+extern const char * const config_event_context_callstack_kernel;
+
+extern const char * const config_element_rotation_schedules;
+extern const char * const config_element_rotation_schedule_periodic;
+extern const char * const config_element_rotation_schedule_periodic_time_us;
+extern const char * const config_element_rotation_schedule_size_threshold;
+extern const char * const config_element_rotation_schedule_size_threshold_bytes;
#endif /* CONFIG_SESSION_INTERNAL_H */