+#if PRIVATE
+kern_return_t kdp_core_output(void *kdp_core_out_vars, uint64_t length, void * data);
+
+kern_return_t kdp_reset_output_vars(void *kdp_core_out_vars, uint64_t totalbytes);
+
+int kern_dump_record_file(void *kdp_core_out_vars, const char *filename, uint64_t file_offset, uint64_t *out_file_length);
+
+int kern_dump_seek_to_next_file(void *kdp_core_out_varss, uint64_t next_file_offset);
+
+extern boolean_t bootloader_valid_page(ppnum_t ppn);
+
+#endif /* PRIVATE */
+