Searched refs:out_file_length (Results 1 – 2 of 2) sorted by relevance
145 …le(void *kdp_core_out_vars, const char *filename, uint64_t file_offset, uint64_t *out_file_length);
679 …le(void *kdp_core_out_state, const char *filename, uint64_t file_offset, uint64_t *out_file_length) in kern_dump_record_file() argument688 assert(out_file_length != NULL); in kern_dump_record_file()689 *out_file_length = 0; in kern_dump_record_file()709 *out_file_length = bytes_written; in kern_dump_record_file()