--- a/src/hotspot/share/jfr/recorder/service/jfrRecorderService.hpp	Fri May 17 15:53:21 2019 +0200
+++ b/src/hotspot/share/jfr/recorder/service/jfrRecorderService.hpp	Fri May 17 16:02:27 2019 +0200
@@ -68,10 +68,12 @@
   JfrRecorderService();
   void start();
   void rotate(int msgs);
+  void flush(int msgs);
   void process_full_buffers();
   void scavenge();
   void evaluate_chunk_size_for_rotation();
   static bool is_recording();
+  size_t flush();
 };
 
 #endif // SHARE_JFR_RECORDER_SERVICE_JFRRECORDERSERVICE_HPP