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;
#endif /* CONFIG_SESSION_INTERNAL_H */