+ uint64_t length, void * txstart);
+
+void kern_collectth_state_size(uint64_t * tstate_count, uint64_t * tstate_size);
+
+void kern_collectth_state(thread_t thread, void *buffer, uint64_t size, void **iter);
+
+boolean_t kdp_has_polled_corefile(void);
+
+void kdp_core_init(void);
+
+extern boolean_t kdp_corezip_disabled;
+
+#define KDP_CRASHDUMP_POLL_COUNT (2500)
+
+#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 efi_valid_page(ppnum_t ppn);
+#if defined(__x86_64__)
+#define EFI_VALID_PAGE(x) efi_valid_page(x)
+#elif defined(__arm__) || defined(__arm64__)
+#define EFI_VALID_PAGE(x) (FALSE)
+#endif /* defined (__x86_64__) */
+
+#endif /* PRIVATE */
+
+#endif /* __KDP_CORE_H */